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 mqm solved by
nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.
Instance
Result
Time
Core1108_tbm_02.tex.moduleQ3.2S.000007
FAIL
211.97
Core1108_tbm_02.tex.moduleQ3.2S.000077
FAIL
270.91
Umbrella_tbm_05.tex.module.000079
FAIL
359.43
Umbrella_tbm_05.tex.module.000088
FAIL
395.25
Umbrella_tbm_05.tex.module.000053
FAIL
411.8
Core1108_tbm_21.tex.module.000091
FAIL
413.45
Umbrella_tbm_14.tex.moduleQ2.2S.000002
FAIL
417
Umbrella_tbm_05.tex.module.000043
FAIL
424.34
Umbrella_tbm_05.tex.module.000025
FAIL
430.57
Umbrella_tbm_05.tex.module.000065
FAIL
434.83
Core1108_tbm_28.tex.moduleQ2.2S.000003
FAIL
435.22
Umbrella_tbm_05.tex.module.000064
FAIL
444.2
Umbrella_tbm_14.tex.moduleQ2.1S.000812
FAIL
447.64
Core1108_tbm_21.tex.module.000014
FAIL
457.7
Umbrella_tbm_05.tex.module.000039
FAIL
464.96
Umbrella_tbm_05.tex.module.000030
FAIL
465.84
Umbrella_tbm_24.tex.moduleQ2.1S.000136
FAIL
497.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
516.34
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
FAIL
522.53
Umbrella_tbm_24.tex.moduleQ2.1S.000022
FAIL
534.37
Core1108_tbm_03.tex.moduleQ3.2S.000003
FAIL
561.3
Umbrella_tbm_24.tex.moduleQ2.1S.000188
FAIL
569.03
Umbrella_tbm_29.tex.moduleQ2.2S.000001
FAIL
570.76
Core1108_tbm_03.tex.module.000021
FAIL
597.87
Umbrella_tbm_21.tex.module.000129
FAIL
611.06
Core1108_tbm_21.tex.module.000023
FAIL
617.19
Core1108_tbm_02.tex.moduleQ3.2S.000026
FAIL
630.46
Core1108_tbm_21.tex.module.000009
FAIL
636.96
Umbrella_tbm_14.tex.moduleQ2.1S.000787
FAIL
637.21
Core1108_tbm_21.tex.moduleQ3.2S.000027
FAIL
643.52
Core1108_tbm_21.tex.moduleQ3.2S.000014
FAIL
652.05
Umbrella_tbm_14.tex.moduleQ2.2S.000001
FAIL
660.57
Umbrella_tbm_14.tex.moduleQ2.1S.000792
FAIL
663.63
Core1108_tbm_21.tex.module.000010
FAIL
666.96
Umbrella_tbm_21.tex.module.000049
FAIL
672.21
Umbrella_tbm_14.tex.moduleQ2.1S.000749
FAIL
676.81
Umbrella_tbm_21.tex.module.000134
FAIL
679.58
Core1108_tbm_02.tex.moduleQ3.2S.000056
FAIL
700.97
Umbrella_tbm_24.tex.module.000131
FAIL
704.68
Core1108_tbm_09.tex.moduleQ3.2S.000010
FAIL
708.24
Core1108_tbm_21.tex.module.000008
FAIL
711.22
Core1108_tbm_21.tex.moduleQ3.2S.000007
FAIL
724.29
Core1108_tbm_21.tex.module.000030
FAIL
726.64
Core1108_tbm_09.tex.module.000010
FAIL
727.65
Core1108_tbm_09.tex.module.000008
FAIL
731.61
Umbrella_tbm_14.tex.moduleQ2.2S.000003
FAIL
741.81
Umbrella_tbm_14.tex.moduleQ2.1S.000720
FAIL
742.08
Core1108_tbm_02.tex.moduleQ3.2S.000108
FAIL
742.29
Umbrella_tbm_14.tex.moduleQ2.1S.000773
FAIL
747.42
Umbrella_tbm_14.tex.moduleQ2.1S.000808
FAIL
758.9
Core1108_tbm_09.tex.module.000009
FAIL
762.52
Umbrella_tbm_14.tex.moduleQ2.1S.000757
FAIL
771.18
Umbrella_tbm_26.tex.module.000004
FAIL
773.34
Core1108_tbm_21.tex.module.000017
FAIL
783.85
Umbrella_tbm_23.tex.moduleQ1.2S.000001
FAIL
792.66
Core1108_tbm_02.tex.moduleQ3.2S.000098
FAIL
798.73
Core1108_tbm_21.tex.module.000027
FAIL
806.72
Core1108_tbm_03.tex.module.000019
FAIL
808.83
Core1108_tbm_21.tex.moduleQ3.2S.000011
FAIL
824.21
Umbrella_tbm_21.tex.module.000079
FAIL
827.84
Core1108_tbm_02.tex.moduleQ3.2S.000099
FAIL
838.08
Umbrella_tbm_21.tex.module.000069
FAIL
845.91
Core1108_tbm_09.tex.moduleQ3.2S.000005
FAIL
868.99
Core1108_tbm_03.tex.module.000037
FAIL
878.89
Core1108_tbm_09.tex.moduleQ3.9S.000001
FAIL
893.28
Umbrella_tbm_25.tex.moduleQ3.2S.000052
FAIL
903.18
Core1108_tbm_03.tex.module.000038
FAIL
903.75
Core1108_tbm_09.tex.moduleQ3.2S.000003
FAIL
906.23
Umbrella_tbm_26.tex.moduleQ3.2S.000020
FAIL
908.75
Umbrella_tbm_21.tex.module.000139
FAIL
909.61
Core1108_tbm_09.tex.module.000033
FAIL
917.47
Umbrella_tbm_05.tex.module.000015
FAIL
943.48
Core1108_tbm_03.tex.module.000048
FAIL
946.26
Umbrella_tbm_21.tex.module.000149
FAIL
956.91
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
968.46
Core1108_tbm_21.tex.moduleQ3.2S.000015
FAIL
971.47
Core1108_tbm_03.tex.module.000065
FAIL
982.12
Core1108_tbm_02.tex.moduleQ3.2S.000095
FAIL
983.96
Umbrella_tbm_26.tex.moduleQ3.2S.000037
FAIL
984.98
Core1108_tbm_03.tex.module.000031
FAIL
997.22
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
997.87
Umbrella_tbm_21.tex.module.000024
FAIL
1000.86
Umbrella_tbm_05.tex.module.000011
FAIL
1007.16
Umbrella_tbm_21.tex.module.000044
FAIL
1008.37
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
FAIL
1017.09
Core1108_tbm_03.tex.module.000058
FAIL
1019.8
Umbrella_tbm_25.tex.moduleQ3.2S.000075
FAIL
1020.51
Umbrella_tbm_21.tex.module.000029
FAIL
1027
Umbrella_tbm_21.tex.module.000056
FAIL
1033.98
Umbrella_tbm_26.tex.moduleQ3.2S.000041
FAIL
1037.73
Core1108_tbm_03.tex.module.000090
FAIL
1043.62
Core1108_tbm_03.tex.module.000039
FAIL
1052.48
Core1108_tbm_03.tex.module.000023
FAIL
1053.57
Core1108_tbm_09.tex.moduleQ3.2S.000011
FAIL
1058.05
Core1108_tbm_03.tex.module.000092
FAIL
1060.84
Core1108_tbm_03.tex.module.000034
FAIL
1063.25
Umbrella_tbm_25.tex.module.000003
FAIL
1063.95
Core1108_tbm_21.tex.module.000026
FAIL
1066.26
Umbrella_tbm_24.tex.module.000066
FAIL
1067.26
Core1108_tbm_21.tex.moduleQ3.2S.000024
FAIL
1071.27
Core1108_tbm_03.tex.module.000056
FAIL
1071.38
Core1108_tbm_03.tex.module.000057
FAIL
1077.44
Umbrella_tbm_25.tex.module.000041
FAIL
1088.43
Umbrella_tbm_26.tex.module.000061
FAIL
1102.3
Umbrella_tbm_25.tex.module.000121
FAIL
1109.59
Core1108_tbm_03.tex.module.000064
FAIL
1112.29
Core1108_tbm_21.tex.moduleQ3.2S.000019
FAIL
1118.63
Core1108_tbm_09.tex.moduleQ3.10S.000001
FAIL
1121.22
Umbrella_tbm_25.tex.module.000099
FAIL
1125.36
Core1108_tbm_21.tex.moduleQ3.2S.000002
FAIL
1126.13
Umbrella_tbm_25.tex.module.000087
FAIL
1143.36
Umbrella_tbm_26.tex.module.000021
FAIL
1149.49
Core1108_tbm_09.tex.module.000028
FAIL
1169.41
Umbrella_tbm_26.tex.moduleQ3.2S.000014
FAIL
1188.2
Umbrella_tbm_25.tex.moduleQ3.2S.000120
FAIL
1200.16
Core1108_tbm_03.tex.moduleQ3.2S.000048
FAIL
1200.17
Umbrella_tbm_24.tex.module.000103
FAIL
1200.19
Core1108_tbm_03.tex.moduleQ3.2S.000009
FAIL
1200.19
Core1108_tbm_03.tex.moduleQ3.2S.000011
FAIL
1200.19
Core1108_tbm_03.tex.moduleQ3.2S.000018
FAIL
1200.19
Umbrella_tbm_26.tex.moduleQ3.2S.000009
FAIL
1200.19
Umbrella_tbm_29.tex.module.000009
FAIL
1200.2
Umbrella_tbm_25.tex.module.000084
FAIL
1200.2
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1200.2
Umbrella_tbm_29.tex.module.000010
FAIL
1200.2
Core1108_tbm_09.tex.moduleQ3.2S.000007
FAIL
1200.21
Core1108_tbm_03.tex.moduleQ3.2S.000002
FAIL
1200.21
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
FAIL
1200.21
Umbrella_tbm_29.tex.module.000078
FAIL
1200.22
Core1108_tbm_02.tex.moduleQ3.2S.000015
FAIL
1200.22
Core1108_tbm_03.tex.module.000003
FAIL
1200.23
Umbrella_tbm_25.tex.moduleQ3.2S.000063
FAIL
1200.23
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
FAIL
1200.24
Umbrella_tbm_26.tex.module.000041
FAIL
1200.25
Umbrella_tbm_25.tex.module.000031
FAIL
1200.26
Umbrella_tbm_25.tex.module.000106
FAIL
1200.26
Contact
|
Organization
|
Links
|
Citing QBFLIB