7cnf30_80000_80000_1.shuffled.cnf

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


zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc6.376.400.000.980.5200 00 0228600.929858UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn6.376.400.000.980.5200 00 0213950.876866UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb6.376.400.000.980.5200 00 0228600.862868UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb6.376.400.000.980.5200 00 0213950.866868UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw6.376.400.000.980.5200 00 000.004999UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn6.376.400.000.980.5200 00 000.003999UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711

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

zChaff minisat SatELite
2.83457 1.08384 5.82711

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb6.376.400.000.980.5200 00 000.003999UNKNOWN

zChaff minisat SatELite
2.83457 1.08384 5.82711