Instances of family renHorn solved by qbfbdd
QBFEVAL'05

InstanceResultTime
renHorn_400CNF1480_2aQBF_98SAT684.38
renHorn_400CNF1560_2aQBF_28FAIL900.88
renHorn_400CNF1800_2aQBF_53FAIL900.88
renHorn_400CNF2280_2aQBF_59FAIL900.89
renHorn_400CNF1560_2aQBF_2FAIL900.89
renHorn_400CNF1480_2aQBF_62FAIL900.9
renHorn_400CNF1560_2aQBF_90FAIL900.9
renHorn_400CNF1280_2aQBF_3FAIL900.91
renHorn_400CNF1960_2aQBF_76FAIL900.91
renHorn_400CNF1800_2aQBF_36FAIL900.92
renHorn_400CNF1640_2aQBF_42FAIL900.92
renHorn_400CNF1640_2aQBF_87FAIL900.92
renHorn_400CNF2040_2aQBF_11FAIL900.93
renHorn_400CNF2040_2aQBF_100FAIL900.93
renHorn_400CNF1200_2aQBF_8FAIL900.93
renHorn_400CNF1880_2aQBF_88FAIL900.93
renHorn_400CNF1400_2aQBF_80FAIL900.93
renHorn_400CNF2120_2aQBF_63FAIL900.94
renHorn_400CNF2120_2aQBF_52FAIL900.94
renHorn_400CNF1640_2aQBF_38FAIL900.94
renHorn_400CNF1200_2aQBF_85FAIL900.94
renHorn_400CNF2280_2aQBF_13FAIL900.95
renHorn_400CNF1640_2aQBF_7FAIL900.95
renHorn_400CNF2280_2aQBF_95FAIL900.95
renHorn_400CNF1800_2aQBF_20FAIL900.95
renHorn_400CNF1200_2aQBF_2FAIL900.95
renHorn_400CNF1800_2aQBF_7FAIL900.95
renHorn_400CNF2360_2aQBF_9FAIL900.95
renHorn_400CNF1360_2aQBF_96FAIL900.96
renHorn_400CNF1720_2aQBF_11FAIL900.96
renHorn_400CNF1960_2aQBF_68FAIL900.96
renHorn_400CNF1200_2aQBF_28FAIL900.97
renHorn_400CNF1480_2aQBF_44FAIL900.97
renHorn_400CNF1560_2aQBF_47FAIL900.97
renHorn_400CNF1560_2aQBF_68FAIL900.97
renHorn_400CNF1480_2aQBF_21FAIL900.97
renHorn_400CNF1360_2aQBF_35FAIL900.97
renHorn_400CNF2120_2aQBF_37FAIL900.98
renHorn_400CNF1720_2aQBF_92FAIL900.98
renHorn_400CNF2280_2aQBF_4FAIL900.98
renHorn_400CNF1720_2aQBF_20FAIL900.98
renHorn_400CNF1480_2aQBF_85FAIL900.98
renHorn_400CNF1200_2aQBF_79FAIL900.98
renHorn_400CNF1280_2aQBF_56FAIL900.98
renHorn_400CNF1800_2aQBF_24FAIL900.98
renHorn_400CNF2120_2aQBF_10FAIL900.98
renHorn_400CNF1720_2aQBF_79FAIL900.98
renHorn_400CNF2120_2aQBF_88FAIL900.98
renHorn_400CNF1640_2aQBF_53FAIL900.98
renHorn_400CNF1480_2aQBF_96FAIL900.98
renHorn_400CNF2040_2aQBF_86FAIL900.99
renHorn_400CNF2120_2aQBF_31FAIL900.99
renHorn_400CNF1560_2aQBF_72FAIL900.99
renHorn_400CNF1280_2aQBF_62FAIL900.99
renHorn_400CNF1960_2aQBF_41FAIL900.99
renHorn_400CNF1280_2aQBF_22FAIL900.99
renHorn_400CNF1480_2aQBF_92FAIL900.99
renHorn_400CNF1880_2aQBF_81FAIL900.99
renHorn_400CNF1560_2aQBF_96FAIL900.99
renHorn_400CNF1960_2aQBF_79FAIL900.99
renHorn_400CNF2120_2aQBF_21FAIL900.99
renHorn_400CNF1480_2aQBF_99FAIL901
renHorn_400CNF1720_2aQBF_71FAIL901
renHorn_400CNF2200_2aQBF_48FAIL901
renHorn_400CNF1640_2aQBF_18FAIL901
renHorn_400CNF2280_2aQBF_67FAIL901
renHorn_400CNF2360_2aQBF_88FAIL901
renHorn_400CNF2040_2aQBF_59FAIL901
renHorn_400CNF2200_2aQBF_79FAIL901
renHorn_400CNF1360_2aQBF_22FAIL901
renHorn_400CNF1800_2aQBF_5FAIL901
renHorn_400CNF1200_2aQBF_97FAIL901
renHorn_400CNF1640_2aQBF_79FAIL901
renHorn_400CNF1800_2aQBF_2FAIL901
renHorn_400CNF2200_2aQBF_22FAIL901
renHorn_400CNF1280_2aQBF_7FAIL901
renHorn_400CNF1960_2aQBF_35FAIL901
renHorn_400CNF2120_2aQBF_19FAIL901.01
renHorn_400CNF1960_2aQBF_50FAIL901.01
renHorn_400CNF1880_2aQBF_19FAIL901.01
renHorn_400CNF2360_2aQBF_58FAIL901.01
renHorn_400CNF2120_2aQBF_17FAIL901.01
renHorn_400CNF2360_2aQBF_97FAIL901.01
renHorn_400CNF2120_2aQBF_84FAIL901.01