rope_0500.shuffled.cnf

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


zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281

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

zChaff minisat SatELite
102.934 96.4023 481.281