fifo8_200.shuffled.cnf

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


zChaff minisat SatELite
115.651 42.1116 60.8428

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc68.8869.0577.6822.2722.09087 087 03558642566.6259UNKNOWN

zChaff minisat SatELite
125.292 42.4855 57.7542

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn68.8869.0677.6822.2722.08028 028 01044415518.9891UNKNOWN

zChaff minisat SatELite
156.7 41.6857 59.181

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb68.8869.0577.6822.2722.09010 010 0586406511.7662UNKNOWN

zChaff minisat SatELite
113.232 42.4016 59.153

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb68.8869.0577.6822.2722.0907 07 032671026.41902UNKNOWN

zChaff minisat SatELite
115.209 40.3379 57.3753

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw68.8869.0577.6822.2722.09087 087 03426179166.7918UNKNOWN

zChaff minisat SatELite
122.689 44.7122 59.425

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn68.8869.0677.6822.2722.08028 028 01011120718.8831UNKNOWN

zChaff minisat SatELite
144.941 42.3196 59.065

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb68.8869.0577.6822.2722.09010 010 0586406511.5922UNKNOWN

zChaff minisat SatELite
115.96 44.0873 60.4118

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb68.8869.0577.6822.2722.0907 07 032671026.54401UNKNOWN

zChaff minisat SatELite
119.461 39.9039 59.286