The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for renHorn family
Download (9450 Kb)
Submitter:
Florian Letombe
Suite:
Letombe
Domain:
qHorn
Description:
Number of instances:
165
Results:
2005 - Track 1
Instances:
renHorn_400CNF1200_2aQBF_2
renHorn_400CNF1200_2aQBF_28
renHorn_400CNF1200_2aQBF_79
renHorn_400CNF1200_2aQBF_8
renHorn_400CNF1200_2aQBF_85
renHorn_400CNF1200_2aQBF_97
renHorn_400CNF1240_2aQBF_57
renHorn_400CNF1280_2aQBF_22
renHorn_400CNF1280_2aQBF_3
renHorn_400CNF1280_2aQBF_56
renHorn_400CNF1280_2aQBF_62
renHorn_400CNF1280_2aQBF_7
renHorn_400CNF1320_2aQBF_35
renHorn_400CNF1320_2aQBF_49
renHorn_400CNF1320_2aQBF_67
renHorn_400CNF1320_2aQBF_7
renHorn_400CNF1360_2aQBF_22
renHorn_400CNF1360_2aQBF_35
renHorn_400CNF1360_2aQBF_96
renHorn_400CNF1400_2aQBF_49
renHorn_400CNF1400_2aQBF_53
renHorn_400CNF1400_2aQBF_80
renHorn_400CNF1440_2aQBF_65
renHorn_400CNF1440_2aQBF_72
renHorn_400CNF1440_2aQBF_95
renHorn_400CNF1480_2aQBF_21
renHorn_400CNF1480_2aQBF_44
renHorn_400CNF1480_2aQBF_62
renHorn_400CNF1480_2aQBF_85
renHorn_400CNF1480_2aQBF_92
renHorn_400CNF1480_2aQBF_96
renHorn_400CNF1480_2aQBF_98
renHorn_400CNF1480_2aQBF_99
renHorn_400CNF1520_2aQBF_13
renHorn_400CNF1520_2aQBF_15
renHorn_400CNF1520_2aQBF_33
renHorn_400CNF1520_2aQBF_34
renHorn_400CNF1520_2aQBF_36
renHorn_400CNF1520_2aQBF_56
renHorn_400CNF1520_2aQBF_7
renHorn_400CNF1520_2aQBF_74
renHorn_400CNF1520_2aQBF_77
renHorn_400CNF1560_2aQBF_2
renHorn_400CNF1560_2aQBF_28
renHorn_400CNF1560_2aQBF_47
renHorn_400CNF1560_2aQBF_68
renHorn_400CNF1560_2aQBF_72
renHorn_400CNF1560_2aQBF_90
renHorn_400CNF1560_2aQBF_96
renHorn_400CNF1600_2aQBF_18
renHorn_400CNF1600_2aQBF_34
renHorn_400CNF1600_2aQBF_47
renHorn_400CNF1600_2aQBF_50
renHorn_400CNF1640_2aQBF_18
renHorn_400CNF1640_2aQBF_38
renHorn_400CNF1640_2aQBF_42
renHorn_400CNF1640_2aQBF_53
renHorn_400CNF1640_2aQBF_7
renHorn_400CNF1640_2aQBF_79
renHorn_400CNF1640_2aQBF_87
renHorn_400CNF1680_2aQBF_12
renHorn_400CNF1680_2aQBF_24
renHorn_400CNF1680_2aQBF_42
renHorn_400CNF1680_2aQBF_44
renHorn_400CNF1680_2aQBF_47
renHorn_400CNF1680_2aQBF_55
renHorn_400CNF1680_2aQBF_78
renHorn_400CNF1680_2aQBF_89
renHorn_400CNF1720_2aQBF_11
renHorn_400CNF1720_2aQBF_20
renHorn_400CNF1720_2aQBF_71
renHorn_400CNF1720_2aQBF_79
renHorn_400CNF1720_2aQBF_92
renHorn_400CNF1760_2aQBF_14
renHorn_400CNF1760_2aQBF_19
renHorn_400CNF1760_2aQBF_21
renHorn_400CNF1760_2aQBF_28
renHorn_400CNF1760_2aQBF_36
renHorn_400CNF1760_2aQBF_42
renHorn_400CNF1760_2aQBF_43
renHorn_400CNF1760_2aQBF_51
renHorn_400CNF1760_2aQBF_59
renHorn_400CNF1760_2aQBF_64
renHorn_400CNF1760_2aQBF_80
renHorn_400CNF1760_2aQBF_90
renHorn_400CNF1760_2aQBF_96
renHorn_400CNF1800_2aQBF_2
renHorn_400CNF1800_2aQBF_20
renHorn_400CNF1800_2aQBF_24
renHorn_400CNF1800_2aQBF_36
renHorn_400CNF1800_2aQBF_5
renHorn_400CNF1800_2aQBF_53
renHorn_400CNF1800_2aQBF_7
renHorn_400CNF1840_2aQBF_1
renHorn_400CNF1840_2aQBF_16
renHorn_400CNF1840_2aQBF_24
renHorn_400CNF1840_2aQBF_3
renHorn_400CNF1840_2aQBF_33
renHorn_400CNF1840_2aQBF_44
renHorn_400CNF1840_2aQBF_49
renHorn_400CNF1840_2aQBF_63
renHorn_400CNF1880_2aQBF_19
renHorn_400CNF1880_2aQBF_81
renHorn_400CNF1880_2aQBF_88
renHorn_400CNF1920_2aQBF_100
renHorn_400CNF1920_2aQBF_37
renHorn_400CNF1920_2aQBF_56
renHorn_400CNF1920_2aQBF_87
renHorn_400CNF1920_2aQBF_89
renHorn_400CNF1960_2aQBF_35
renHorn_400CNF1960_2aQBF_41
renHorn_400CNF1960_2aQBF_50
renHorn_400CNF1960_2aQBF_68
renHorn_400CNF1960_2aQBF_76
renHorn_400CNF1960_2aQBF_79
renHorn_400CNF2000_2aQBF_36
renHorn_400CNF2000_2aQBF_50
renHorn_400CNF2000_2aQBF_63
renHorn_400CNF2000_2aQBF_86
renHorn_400CNF2040_2aQBF_100
renHorn_400CNF2040_2aQBF_11
renHorn_400CNF2040_2aQBF_59
renHorn_400CNF2040_2aQBF_86
renHorn_400CNF2080_2aQBF_16
renHorn_400CNF2080_2aQBF_41
renHorn_400CNF2080_2aQBF_98
renHorn_400CNF2120_2aQBF_10
renHorn_400CNF2120_2aQBF_17
renHorn_400CNF2120_2aQBF_19
renHorn_400CNF2120_2aQBF_21
renHorn_400CNF2120_2aQBF_31
renHorn_400CNF2120_2aQBF_37
renHorn_400CNF2120_2aQBF_52
renHorn_400CNF2120_2aQBF_63
renHorn_400CNF2120_2aQBF_84
renHorn_400CNF2120_2aQBF_88
renHorn_400CNF2160_2aQBF_14
renHorn_400CNF2160_2aQBF_25
renHorn_400CNF2160_2aQBF_27
renHorn_400CNF2160_2aQBF_35
renHorn_400CNF2200_2aQBF_22
renHorn_400CNF2200_2aQBF_48
renHorn_400CNF2200_2aQBF_79
renHorn_400CNF2240_2aQBF_20
renHorn_400CNF2240_2aQBF_21
renHorn_400CNF2240_2aQBF_54
renHorn_400CNF2240_2aQBF_58
renHorn_400CNF2240_2aQBF_73
renHorn_400CNF2240_2aQBF_75
renHorn_400CNF2240_2aQBF_76
renHorn_400CNF2240_2aQBF_89
renHorn_400CNF2280_2aQBF_13
renHorn_400CNF2280_2aQBF_4
renHorn_400CNF2280_2aQBF_59
renHorn_400CNF2280_2aQBF_67
renHorn_400CNF2280_2aQBF_95
renHorn_400CNF2320_2aQBF_25
renHorn_400CNF2320_2aQBF_47
renHorn_400CNF2320_2aQBF_73
renHorn_400CNF2320_2aQBF_89
renHorn_400CNF2320_2aQBF_99
renHorn_400CNF2360_2aQBF_58
renHorn_400CNF2360_2aQBF_88
renHorn_400CNF2360_2aQBF_9
renHorn_400CNF2360_2aQBF_97
Contact
|
Organization
|
Links
|
Citing QBFLIB