php-040-040.shuffled-as.sat05-1166.cnf

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


zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc73.1976.6899.8726.6823.1900 00 012496000.581911UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn73.1976.6899.8726.6823.1900 00 02913600.137979UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb73.1976.6899.8726.6823.1900 00 016000.016997UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb73.1976.6899.8726.6823.1900 00 016000.010998UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw73.1976.6899.8726.6823.1900 00 016000.019996UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn73.1976.6899.8726.6823.1900 00 016000.011998UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb73.1976.6899.8726.6823.1900 00 016000.015997UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb73.1976.6899.8726.6823.1900 00 016000.014997UNKNOWN

zChaff minisat SatELite
0.015997 TimeOut TimeOut