php-070-070.shuffled-as.sat05-1170.cnf

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


zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc75.2974.5699.9624.6725.4000 00 01183840011.6382UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn75.2974.5699.9624.6725.4000 00 029252302.90356UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb75.2974.5699.9624.6725.4000 00 049000.103984UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb75.2974.5699.9624.6725.4000 00 049000.068989UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw75.2974.5699.9624.6725.4000 00 049000.116982UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn75.2974.5699.9624.6725.4000 00 049000.069989UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb75.2974.5699.9624.6725.4000 00 049000.104984UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb75.2974.5699.9624.6725.4000 00 049000.075988UNKNOWN

zChaff minisat SatELite
0.120982 TimeOut TimeOut