okgen-c2000-v400-s553070738-553070738.cnf

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


zChaff minisat SatELite
1309.66 46.4359 323.064

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc48.7051.300.0012.4012.1000 00 061290.009998UNKNOWN

zChaff minisat SatELite
1309.66 46.4359 323.064

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn48.7051.300.0012.4012.1000 00 029850.006998UNKNOWN

zChaff minisat SatELite
1309.66 46.4359 323.064

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb48.7051.300.0012.4012.1000 00 061290.008998UNKNOWN

zChaff minisat SatELite
1309.66 46.4359 323.064

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb48.7051.300.0012.4012.1000 00 029850.004999UNKNOWN

zChaff minisat SatELite
1309.66 46.4359 323.064

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

zChaff minisat SatELite
1309.66 46.4359 323.064

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

zChaff minisat SatELite
1309.66 46.4359 323.064

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

zChaff minisat SatELite
1309.66 46.4359 323.064

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

zChaff minisat SatELite
1309.66 46.4359 323.064