rope_0030.shuffled.cnf

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


zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc71.8370.3285.7122.3024.9200 00 0172800.008998UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn71.8370.3285.7122.3024.9200 00 044460.004999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb71.8370.3285.7122.3024.9200 00 010800.003999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb71.8370.3285.7122.3024.9200 00 05850.000999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw71.8370.3285.7122.3024.9200 00 010800.002999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn71.8370.3285.7122.3024.9200 00 05850.002999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb71.8370.3285.7122.3024.9200 00 010800.002999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb71.8370.3285.7122.3024.9200 00 05850.002999UNKNOWN

zChaff minisat SatELite
0.712891 0.686895 0.945856