alupla21.boehm.cnf

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


zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc77.6169.6368.7110.7415.643240 00 036920.001999UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn77.6169.6368.7110.7415.643240 00 06520.000999UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb77.6169.6368.7110.7415.643240 00 09920.000999UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb77.6169.6368.7110.7415.643240 00 05140UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw77.6169.6368.7110.7415.643240 00 031180.001999UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn77.6169.6368.7110.7415.643240 00 06520.001999UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb77.6169.6368.7110.7415.643240 00 09920.000999UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb77.6169.6368.7110.7415.643240 00 05140UNKNOWN

zChaff minisat SatELite
0.004 0.002999 0.019996