Instances of family renHorn solved by QMRes
QBFEVAL'05

InstanceResultTime
renHorn_400CNF2360_2aQBF_88FAIL215.16
renHorn_400CNF1560_2aQBF_90FAIL326.49
renHorn_400CNF1720_2aQBF_20FAIL397.61
renHorn_400CNF2040_2aQBF_59FAIL466.01
renHorn_400CNF1480_2aQBF_62FAIL490.16
renHorn_400CNF2120_2aQBF_17FAIL544.16
renHorn_400CNF2360_2aQBF_9FAIL590.95
renHorn_400CNF1560_2aQBF_2FAIL632.08
renHorn_400CNF2120_2aQBF_10FAIL632.97
renHorn_400CNF2120_2aQBF_84FAIL660.23
renHorn_400CNF1800_2aQBF_20FAIL729.97
renHorn_400CNF1800_2aQBF_5FAIL757.2
renHorn_400CNF2280_2aQBF_4FAIL765.96
renHorn_400CNF2280_2aQBF_59FAIL776.41
renHorn_400CNF2120_2aQBF_52FAIL795.07
renHorn_400CNF1800_2aQBF_36FAIL798.15
renHorn_400CNF2200_2aQBF_22FAIL803.93
renHorn_400CNF1960_2aQBF_76FAIL818.82
renHorn_400CNF1480_2aQBF_98FAIL822.9
renHorn_400CNF1560_2aQBF_72FAIL823.32
renHorn_400CNF2280_2aQBF_13FAIL833.84
renHorn_400CNF2360_2aQBF_97FAIL837.38
renHorn_400CNF1480_2aQBF_99FAIL840.65
renHorn_400CNF1960_2aQBF_35FAIL846.42
renHorn_400CNF2120_2aQBF_31FAIL850.17
renHorn_400CNF1360_2aQBF_96FAIL857.35
renHorn_400CNF2120_2aQBF_63FAIL862.55
renHorn_400CNF1880_2aQBF_81FAIL868.22
renHorn_400CNF1480_2aQBF_85FAIL877.89
renHorn_400CNF1800_2aQBF_24FAIL878.87
renHorn_400CNF2280_2aQBF_95FAIL882.64
renHorn_400CNF1480_2aQBF_21FAIL884.09
renHorn_400CNF1200_2aQBF_28FAIL885.81
renHorn_400CNF1720_2aQBF_71FAIL886.33
renHorn_400CNF2120_2aQBF_37FAIL889.7
renHorn_400CNF2200_2aQBF_48FAIL889.91
renHorn_400CNF1640_2aQBF_7FAIL890.11
renHorn_400CNF2040_2aQBF_11FAIL890.78
renHorn_400CNF2120_2aQBF_21FAIL892.19
renHorn_400CNF1640_2aQBF_53FAIL894.28
renHorn_400CNF1280_2aQBF_22FAIL895.69
renHorn_400CNF1720_2aQBF_79FAIL895.79
renHorn_400CNF1800_2aQBF_7FAIL896.61
renHorn_400CNF1640_2aQBF_79FAIL897.06
renHorn_400CNF2360_2aQBF_58FAIL897.15
renHorn_400CNF2120_2aQBF_88FAIL897.34
renHorn_400CNF1800_2aQBF_2FAIL897.51
renHorn_400CNF1400_2aQBF_80FAIL898.11
renHorn_400CNF1480_2aQBF_92FAIL898.29
renHorn_400CNF1200_2aQBF_79FAIL898.68
renHorn_400CNF1640_2aQBF_87FAIL899
renHorn_400CNF2040_2aQBF_86FAIL899.08
renHorn_400CNF1280_2aQBF_62FAIL899.87
renHorn_400CNF1960_2aQBF_41FAIL899.95
renHorn_400CNF1960_2aQBF_79FAIL899.99
renHorn_400CNF1560_2aQBF_28FAIL900.01
renHorn_400CNF1640_2aQBF_18FAIL900.06
renHorn_400CNF1960_2aQBF_50FAIL900.06
renHorn_400CNF2120_2aQBF_19FAIL900.07
renHorn_400CNF1280_2aQBF_56FAIL900.09
renHorn_400CNF1640_2aQBF_38FAIL900.1
renHorn_400CNF1720_2aQBF_11FAIL900.13
renHorn_400CNF1360_2aQBF_22FAIL900.14
renHorn_400CNF1200_2aQBF_97FAIL900.14
renHorn_400CNF1880_2aQBF_88FAIL900.15
renHorn_400CNF2200_2aQBF_79FAIL900.16
renHorn_400CNF1360_2aQBF_35FAIL900.17
renHorn_400CNF1560_2aQBF_47FAIL900.17
renHorn_400CNF1480_2aQBF_44FAIL900.18
renHorn_400CNF2040_2aQBF_100FAIL900.19
renHorn_400CNF1720_2aQBF_92FAIL900.19
renHorn_400CNF1560_2aQBF_96FAIL900.2
renHorn_400CNF1640_2aQBF_42FAIL900.21
renHorn_400CNF1480_2aQBF_96FAIL900.25
renHorn_400CNF2280_2aQBF_67FAIL900.26
renHorn_400CNF1200_2aQBF_8FAIL900.31
renHorn_400CNF1960_2aQBF_68FAIL900.33
renHorn_400CNF1880_2aQBF_19FAIL900.33
renHorn_400CNF1800_2aQBF_53FAIL900.36
renHorn_400CNF1200_2aQBF_2FAIL900.37
renHorn_400CNF1280_2aQBF_7FAIL900.37
renHorn_400CNF1560_2aQBF_68FAIL900.39
renHorn_400CNF1200_2aQBF_85FAIL900.39
renHorn_400CNF1280_2aQBF_3FAIL900.43