QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Instances of family renHorn solved by
QbflHR
QBFEVAL'05
Instance
Result
Time
renHorn_400CNF1480_2aQBF_21
UNSAT
0
renHorn_400CNF1960_2aQBF_68
UNSAT
0
renHorn_400CNF1280_2aQBF_56
UNSAT
0
renHorn_400CNF1200_2aQBF_97
UNSAT
0.01
renHorn_400CNF1480_2aQBF_98
SAT
0.01
renHorn_400CNF1800_2aQBF_53
UNSAT
0.01
renHorn_400CNF1400_2aQBF_80
SAT
0.01
renHorn_400CNF1280_2aQBF_3
SAT
0.01
renHorn_400CNF1960_2aQBF_50
UNSAT
0.01
renHorn_400CNF1720_2aQBF_20
UNSAT
0.01
renHorn_400CNF1200_2aQBF_79
UNSAT
0.01
renHorn_400CNF1200_2aQBF_8
UNSAT
0.01
renHorn_400CNF1280_2aQBF_22
UNSAT
0.01
renHorn_400CNF1480_2aQBF_92
SAT
0.01
renHorn_400CNF1640_2aQBF_79
SAT
0.02
renHorn_400CNF1800_2aQBF_2
UNSAT
0.02
renHorn_400CNF1800_2aQBF_20
UNSAT
0.02
renHorn_400CNF1560_2aQBF_68
UNSAT
0.02
renHorn_400CNF1560_2aQBF_96
SAT
0.02
renHorn_400CNF1280_2aQBF_7
SAT
0.02
renHorn_400CNF1960_2aQBF_79
SAT
0.02
renHorn_400CNF1560_2aQBF_28
UNSAT
0.02
renHorn_400CNF1200_2aQBF_2
UNSAT
0.02
renHorn_400CNF2200_2aQBF_22
SAT
0.02
renHorn_400CNF1360_2aQBF_35
UNSAT
0.02
renHorn_400CNF1480_2aQBF_96
SAT
0.02
renHorn_400CNF1480_2aQBF_99
SAT
0.02
renHorn_400CNF2120_2aQBF_19
SAT
0.02
renHorn_400CNF1200_2aQBF_28
UNSAT
0.02
renHorn_400CNF2040_2aQBF_11
SAT
0.02
renHorn_400CNF1480_2aQBF_44
UNSAT
0.02
renHorn_400CNF1800_2aQBF_36
UNSAT
0.02
renHorn_400CNF1280_2aQBF_62
SAT
0.02
renHorn_400CNF1640_2aQBF_42
SAT
0.02
renHorn_400CNF1480_2aQBF_85
UNSAT
0.02
renHorn_400CNF1560_2aQBF_47
SAT
0.02
renHorn_400CNF1560_2aQBF_2
UNSAT
0.02
renHorn_400CNF1640_2aQBF_7
UNSAT
0.02
renHorn_400CNF1880_2aQBF_19
SAT
0.02
renHorn_400CNF2120_2aQBF_52
SAT
0.02
renHorn_400CNF1720_2aQBF_11
SAT
0.02
renHorn_400CNF2120_2aQBF_17
UNSAT
0.02
renHorn_400CNF1720_2aQBF_79
SAT
0.03
renHorn_400CNF2120_2aQBF_84
SAT
0.03
renHorn_400CNF1200_2aQBF_85
SAT
0.03
renHorn_400CNF1800_2aQBF_7
SAT
0.03
renHorn_400CNF1880_2aQBF_88
SAT
0.03
renHorn_400CNF2120_2aQBF_88
SAT
0.03
renHorn_400CNF1640_2aQBF_87
SAT
0.03
renHorn_400CNF1960_2aQBF_35
UNSAT
0.03
renHorn_400CNF2120_2aQBF_21
SAT
0.03
renHorn_400CNF1560_2aQBF_90
UNSAT
0.03
renHorn_400CNF1960_2aQBF_76
UNSAT
0.03
renHorn_400CNF2040_2aQBF_100
SAT
0.03
renHorn_400CNF2040_2aQBF_86
SAT
0.03
renHorn_400CNF1720_2aQBF_71
SAT
0.03
renHorn_400CNF2280_2aQBF_59
SAT
0.03
renHorn_400CNF2120_2aQBF_63
SAT
0.03
renHorn_400CNF1720_2aQBF_92
SAT
0.03
renHorn_400CNF1360_2aQBF_96
SAT
0.03
renHorn_400CNF1640_2aQBF_18
SAT
0.03
renHorn_400CNF2360_2aQBF_88
SAT
0.03
renHorn_400CNF1480_2aQBF_62
SAT
0.03
renHorn_400CNF1640_2aQBF_38
SAT
0.03
renHorn_400CNF1800_2aQBF_24
SAT
0.03
renHorn_400CNF2040_2aQBF_59
UNSAT
0.03
renHorn_400CNF2280_2aQBF_67
UNSAT
0.03
renHorn_400CNF1360_2aQBF_22
SAT
0.03
renHorn_400CNF1800_2aQBF_5
SAT
0.03
renHorn_400CNF2360_2aQBF_58
SAT
0.03
renHorn_400CNF2120_2aQBF_10
SAT
0.04
renHorn_400CNF1880_2aQBF_81
SAT
0.04
renHorn_400CNF2360_2aQBF_9
SAT
0.04
renHorn_400CNF1640_2aQBF_53
SAT
0.04
renHorn_400CNF2120_2aQBF_37
SAT
0.04
renHorn_400CNF2120_2aQBF_31
SAT
0.04
renHorn_400CNF1560_2aQBF_72
SAT
0.04
renHorn_400CNF2280_2aQBF_13
SAT
0.04
renHorn_400CNF2200_2aQBF_48
SAT
0.04
renHorn_400CNF2200_2aQBF_79
SAT
0.04
renHorn_400CNF2280_2aQBF_95
SAT
0.04
renHorn_400CNF2360_2aQBF_97
SAT
0.04
renHorn_400CNF1960_2aQBF_41
SAT
0.04
renHorn_400CNF2280_2aQBF_4
SAT
0.05
Contact
|
Organization
|
Links
|
Citing QBFLIB