rope_0010.shuffled.cnf

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


zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc70.4872.3885.7123.8122.3800 00 057600.001999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn70.4872.3885.7123.8122.3800 00 014680.000999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb70.4872.3885.7123.8122.3800 00 03600.001999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb70.4872.3885.7123.8122.3800 00 01800.000999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw70.4872.3885.7123.8122.3800 00 03600.002999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn70.4872.3885.7123.8122.3800 00 01800UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb70.4872.3885.7123.8122.3800 00 03600.001999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb70.4872.3885.7123.8122.3800 00 01800.000999UNKNOWN

zChaff minisat SatELite
0.108983 0.097985 0.357945