7cnf20_90000_90000_6.shuffled.cnf

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


zChaff minisat SatELite
0.006999 0.026995 0.12798

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc6.226.090.000.330.7201 01 0107440.315951UNKNOWN

zChaff minisat SatELite
0.007999 0.027995 0.12698

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn6.226.090.000.330.7201 01 0100770.298954UNKNOWN

zChaff minisat SatELite
0.007999 0.031995 0.12698

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb6.226.090.000.330.7201 01 0107440.315951UNKNOWN

zChaff minisat SatELite
0.007999 0.026995 0.12998

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb6.226.090.000.330.7201 01 0100770.298954UNKNOWN

zChaff minisat SatELite
0.007999 0.029995 0.12698

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

zChaff minisat SatELite
0.006999 0.026995 0.12798

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

zChaff minisat SatELite
0.006999 0.026995 0.12798

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

zChaff minisat SatELite
0.006999 0.026995 0.12798

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

zChaff minisat SatELite
0.006999 0.026995 0.12798