Urquhart-s3-b6.shuffled.cnf

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


zChaff minisat SatELite
TimeOut 4240.24 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc7.2712.500.000.731.6000 00 044480.024996UNKNOWN

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn7.2712.500.000.731.6000 00 039060.021996UNKNOWN

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb7.2712.500.000.731.6000 00 044480.022996UNKNOWN

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb7.2712.500.000.731.6000 00 039060.021996UNKNOWN

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

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

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn7.2712.500.000.731.6000 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

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

zChaff minisat SatELite
TimeOut 4240.24 TimeOut

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

zChaff minisat SatELite
TimeOut 4240.24 TimeOut