php-050-050.shuffled-as.sat05-1168.cnf

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


zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc75.0674.9899.9224.8624.9400 00 030650001.82172UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn75.0674.9899.9224.8624.9400 00 07645000.469928UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb75.0674.9899.9224.8624.9400 00 025000.030995UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb75.0674.9899.9224.8624.9400 00 025000.022996UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw75.0674.9899.9224.8624.9400 00 025000.040993UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn75.0674.9899.9224.8624.9400 00 025000.024996UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb75.0674.9899.9224.8624.9400 00 025000.034994UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb75.0674.9899.9224.8624.9400 00 025000.025996UNKNOWN

zChaff minisat SatELite
0.017998 TimeOut TimeOut