5cnf_3500_3500_30f1.shuffled.cnf

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


zChaff minisat SatELite
0.020997 0.008998 0.036994

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc22.9121.480.003.584.5301 01 020960.009998UNKNOWN

zChaff minisat SatELite
0.023997 0.008998 0.035994

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn23.1021.430.003.574.7600 00 016270.005999UNKNOWN

zChaff minisat SatELite
0.020997 0.008998 0.036994

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb22.9121.480.003.584.5301 01 020960.008998UNKNOWN

zChaff minisat SatELite
0.022996 0.009998 0.033994

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb23.1021.430.003.574.7600 00 016270.006998UNKNOWN

zChaff minisat SatELite
0.020997 0.008998 0.036994

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw23.1021.430.003.574.7600 00 000UNKNOWN

zChaff minisat SatELite
0.020997 0.008998 0.036994

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

zChaff minisat SatELite
0.020997 0.008998 0.036994

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

zChaff minisat SatELite
0.020997 0.008998 0.036994

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb23.1021.430.003.574.7600 00 000UNKNOWN

zChaff minisat SatELite
0.020997 0.008998 0.036994