f17-b24-s0-20.cnf

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


zChaff minisat SatELite
21.1518 6.03608 11.2203

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc65.9165.8967.6220.4320.630312102231210224572788766.8818UNKNOWN

zChaff minisat SatELite
24.5163 5.41718 9.80751

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn71.5063.7069.4917.0022.41010728 810728 81625888525.7941UNKNOWN

zChaff minisat SatELite
25.2682 7.02993 9.26459

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb67.5267.3173.0721.1221.4909367 79367 71433915922.1396UNKNOWN

zChaff minisat SatELite
25.4201 5.82012 10.3194

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb68.5465.2070.7820.4621.4905172 45172 4805743512.919UNKNOWN

zChaff minisat SatELite
24.0163 8.5427 9.31558

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw66.5166.4269.6020.6720.940241751724175173729543652.883UNKNOWN

zChaff minisat SatELite
22.8625 5.71013 10.3574

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn70.5664.1869.8918.1022.1209007 69007 61401923222.0277UNKNOWN

zChaff minisat SatELite
25.9721 5.07523 9.8775

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb67.5267.3173.0721.1221.4909367 79367 71433915922.1856UNKNOWN

zChaff minisat SatELite
25.4541 6.10707 9.78251

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb68.5465.2070.7820.4621.4905172 45172 4805743512.7801UNKNOWN

zChaff minisat SatELite
23.3255 9.42957 9.50955