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
QMRes
QBFEVAL'05
Instance
Result
Time
renHorn_400CNF2360_2aQBF_88
FAIL
215.16
renHorn_400CNF1560_2aQBF_90
FAIL
326.49
renHorn_400CNF1720_2aQBF_20
FAIL
397.61
renHorn_400CNF2040_2aQBF_59
FAIL
466.01
renHorn_400CNF1480_2aQBF_62
FAIL
490.16
renHorn_400CNF2120_2aQBF_17
FAIL
544.16
renHorn_400CNF2360_2aQBF_9
FAIL
590.95
renHorn_400CNF1560_2aQBF_2
FAIL
632.08
renHorn_400CNF2120_2aQBF_10
FAIL
632.97
renHorn_400CNF2120_2aQBF_84
FAIL
660.23
renHorn_400CNF1800_2aQBF_20
FAIL
729.97
renHorn_400CNF1800_2aQBF_5
FAIL
757.2
renHorn_400CNF2280_2aQBF_4
FAIL
765.96
renHorn_400CNF2280_2aQBF_59
FAIL
776.41
renHorn_400CNF2120_2aQBF_52
FAIL
795.07
renHorn_400CNF1800_2aQBF_36
FAIL
798.15
renHorn_400CNF2200_2aQBF_22
FAIL
803.93
renHorn_400CNF1960_2aQBF_76
FAIL
818.82
renHorn_400CNF1480_2aQBF_98
FAIL
822.9
renHorn_400CNF1560_2aQBF_72
FAIL
823.32
renHorn_400CNF2280_2aQBF_13
FAIL
833.84
renHorn_400CNF2360_2aQBF_97
FAIL
837.38
renHorn_400CNF1480_2aQBF_99
FAIL
840.65
renHorn_400CNF1960_2aQBF_35
FAIL
846.42
renHorn_400CNF2120_2aQBF_31
FAIL
850.17
renHorn_400CNF1360_2aQBF_96
FAIL
857.35
renHorn_400CNF2120_2aQBF_63
FAIL
862.55
renHorn_400CNF1880_2aQBF_81
FAIL
868.22
renHorn_400CNF1480_2aQBF_85
FAIL
877.89
renHorn_400CNF1800_2aQBF_24
FAIL
878.87
renHorn_400CNF2280_2aQBF_95
FAIL
882.64
renHorn_400CNF1480_2aQBF_21
FAIL
884.09
renHorn_400CNF1200_2aQBF_28
FAIL
885.81
renHorn_400CNF1720_2aQBF_71
FAIL
886.33
renHorn_400CNF2120_2aQBF_37
FAIL
889.7
renHorn_400CNF2200_2aQBF_48
FAIL
889.91
renHorn_400CNF1640_2aQBF_7
FAIL
890.11
renHorn_400CNF2040_2aQBF_11
FAIL
890.78
renHorn_400CNF2120_2aQBF_21
FAIL
892.19
renHorn_400CNF1640_2aQBF_53
FAIL
894.28
renHorn_400CNF1280_2aQBF_22
FAIL
895.69
renHorn_400CNF1720_2aQBF_79
FAIL
895.79
renHorn_400CNF1800_2aQBF_7
FAIL
896.61
renHorn_400CNF1640_2aQBF_79
FAIL
897.06
renHorn_400CNF2360_2aQBF_58
FAIL
897.15
renHorn_400CNF2120_2aQBF_88
FAIL
897.34
renHorn_400CNF1800_2aQBF_2
FAIL
897.51
renHorn_400CNF1400_2aQBF_80
FAIL
898.11
renHorn_400CNF1480_2aQBF_92
FAIL
898.29
renHorn_400CNF1200_2aQBF_79
FAIL
898.68
renHorn_400CNF1640_2aQBF_87
FAIL
899
renHorn_400CNF2040_2aQBF_86
FAIL
899.08
renHorn_400CNF1280_2aQBF_62
FAIL
899.87
renHorn_400CNF1960_2aQBF_41
FAIL
899.95
renHorn_400CNF1960_2aQBF_79
FAIL
899.99
renHorn_400CNF1560_2aQBF_28
FAIL
900.01
renHorn_400CNF1640_2aQBF_18
FAIL
900.06
renHorn_400CNF1960_2aQBF_50
FAIL
900.06
renHorn_400CNF2120_2aQBF_19
FAIL
900.07
renHorn_400CNF1280_2aQBF_56
FAIL
900.09
renHorn_400CNF1640_2aQBF_38
FAIL
900.1
renHorn_400CNF1720_2aQBF_11
FAIL
900.13
renHorn_400CNF1360_2aQBF_22
FAIL
900.14
renHorn_400CNF1200_2aQBF_97
FAIL
900.14
renHorn_400CNF1880_2aQBF_88
FAIL
900.15
renHorn_400CNF2200_2aQBF_79
FAIL
900.16
renHorn_400CNF1360_2aQBF_35
FAIL
900.17
renHorn_400CNF1560_2aQBF_47
FAIL
900.17
renHorn_400CNF1480_2aQBF_44
FAIL
900.18
renHorn_400CNF2040_2aQBF_100
FAIL
900.19
renHorn_400CNF1720_2aQBF_92
FAIL
900.19
renHorn_400CNF1560_2aQBF_96
FAIL
900.2
renHorn_400CNF1640_2aQBF_42
FAIL
900.21
renHorn_400CNF1480_2aQBF_96
FAIL
900.25
renHorn_400CNF2280_2aQBF_67
FAIL
900.26
renHorn_400CNF1200_2aQBF_8
FAIL
900.31
renHorn_400CNF1960_2aQBF_68
FAIL
900.33
renHorn_400CNF1880_2aQBF_19
FAIL
900.33
renHorn_400CNF1800_2aQBF_53
FAIL
900.36
renHorn_400CNF1200_2aQBF_2
FAIL
900.37
renHorn_400CNF1280_2aQBF_7
FAIL
900.37
renHorn_400CNF1560_2aQBF_68
FAIL
900.39
renHorn_400CNF1200_2aQBF_85
FAIL
900.39
renHorn_400CNF1280_2aQBF_3
FAIL
900.43
Contact
|
Organization
|
Links
|
Citing QBFLIB