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 terminator solved by
quantor3.0
QBFEVAL'08
Instance
Result
Time
stmt21_4_5
UNSAT
2.28
stmt44_40_41
UNSAT
11.32
stmt31_22_23
UNSAT
25.23
stmt19_257_266
FAIL
33.7
stmt32_24_277
FAIL
34.83
stmt29_21_275
FAIL
35.42
stmt31_100_276
FAIL
35.63
stmt41_37_286
FAIL
35.89
stmt21_4_354
FAIL
35.95
stmt21_4_360
FAIL
36.12
stmt21_5_354
FAIL
36.16
stmt32_153_277
FAIL
36.16
stmt29_226_327
FAIL
36.2
stmt21_71_354
FAIL
36.22
stmt31_190_276
FAIL
36.31
stmt39_34_285
FAIL
36.33
stmt39_107_285
FAIL
36.36
stmt44_40_387
FAIL
36.43
stmt50_50_392
FAIL
36.54
stmt32_228_277
FAIL
36.58
stmt22_73_419
FAIL
37
stmt39_107_384
FAIL
37.03
stmt22_144_370
FAIL
37.15
stmt19_83_417
FAIL
37.18
stmt19_66_417
FAIL
37.21
stmt41_198_286
FAIL
37.23
stmt19_78_417
FAIL
37.25
stmt19_177_352
FAIL
37.26
stmt19_90_417
FAIL
37.27
stmt19_180_352
FAIL
37.27
stmt41_36_235
FAIL
37.29
stmt50_115_392
FAIL
37.35
stmt39_159_384
FAIL
37.38
stmt19_177_359
FAIL
37.4
stmt19_90_408
FAIL
37.43
stmt32_101_378
FAIL
37.45
stmt19_177_368
FAIL
37.45
stmt21_84_403
FAIL
37.55
stmt19_217_352
FAIL
37.55
stmt19_214_359
FAIL
37.56
stmt21_181_360
FAIL
37.57
stmt19_66_401
FAIL
37.57
stmt21_181_369
FAIL
37.57
stmt44_162_387
FAIL
37.57
stmt21_218_360
FAIL
37.59
stmt21_215_354
FAIL
37.6
stmt41_198_385
FAIL
37.61
stmt19_66_408
FAIL
37.62
stmt22_92_404
FAIL
37.62
stmt21_143_409
FAIL
37.62
stmt46_201_388
FAIL
37.63
stmt22_85_410
FAIL
37.66
stmt19_78_408
FAIL
37.66
stmt32_153_378
FAIL
37.68
stmt41_235_286
FAIL
37.7
stmt22_80_216
FAIL
37.73
stmt19_217_368
FAIL
37.74
stmt29_226_376
FAIL
37.77
stmt22_80_404
FAIL
37.81
stmt32_191_378
FAIL
37.83
stmt47_44_239
FAIL
37.84
stmt50_205_392
FAIL
37.89
stmt19_214_368
FAIL
37.9
stmt21_5_364
FAIL
37.9
stmt21_127_409
FAIL
37.96
stmt22_139_404
FAIL
37.96
stmt21_4_364
FAIL
37.97
stmt19_137_408
FAIL
38.01
stmt22_182_419
FAIL
38.03
stmt21_178_418
FAIL
38.03
stmt46_238_388
FAIL
38.04
stmt19_67_363
FAIL
38.05
stmt52_117_295
FAIL
38.08
stmt52_169_394
FAIL
38.09
stmt85_122_399
FAIL
38.09
stmt19_133_408
FAIL
38.09
stmt19_180_401
FAIL
38.13
stmt22_135_404
FAIL
38.2
stmt19_66_363
FAIL
38.34
stmt21_319_418
FAIL
38.35
stmt19_90_363
FAIL
38.35
stmt50_50_293
FAIL
38.36
stmt19_266_417
FAIL
38.41
stmt21_143_403
FAIL
38.41
stmt19_78_363
FAIL
38.41
stmt46_42_289
FAIL
38.55
stmt21_84_364
FAIL
38.65
stmt19_266_352
FAIL
38.68
stmt21_5_413
FAIL
38.69
stmt21_134_364
FAIL
38.69
stmt21_71_413
FAIL
38.7
stmt19_309_417
FAIL
38.74
stmt21_178_403
FAIL
38.81
stmt22_259_419
FAIL
38.82
stmt44_41_288
FAIL
38.83
stmt19_125_363
FAIL
38.85
stmt50_51_293
FAIL
38.87
stmt19_142_363
FAIL
38.87
stmt19_137_363
FAIL
38.88
stmt22_80_414
FAIL
38.98
stmt21_91_413
FAIL
39.04
stmt19_66_412
FAIL
39.07
stmt19_83_412
FAIL
39.08
stmt21_319_354
FAIL
39.11
stmt47_112_290
FAIL
39.16
stmt22_315_404
FAIL
39.25
stmt22_6_414
FAIL
39.25
stmt85_300_399
FAIL
39.25
stmt21_319_403
FAIL
39.29
stmt21_304_409
FAIL
39.29
stmt21_304_369
FAIL
39.31
stmt47_239_290
FAIL
39.31
stmt19_309_408
FAIL
39.33
stmt21_310_403
FAIL
39.33
stmt21_360_418
FAIL
39.34
stmt41_336_385
FAIL
39.36
stmt47_340_389
FAIL
39.46
stmt21_127_413
FAIL
39.49
stmt21_134_413
FAIL
39.49
stmt21_360_369
FAIL
39.49
stmt21_319_409
FAIL
39.51
stmt19_142_412
FAIL
39.53
stmt21_314_409
FAIL
39.56
stmt21_138_413
FAIL
39.59
stmt22_253_259
FAIL
39.61
stmt50_343_392
FAIL
39.77
stmt22_259_263
FAIL
39.77
stmt41_160_286
FAIL
39.79
stmt19_177_412
FAIL
39.94
stmt21_181_413
FAIL
39.95
stmt19_368_417
FAIL
39.95
stmt19_408_417
FAIL
39.98
stmt47_202_290
FAIL
40.01
stmt19_2_257
FAIL
40.04
stmt50_205_293
FAIL
40.11
stmt19_2_250
FAIL
40.12
stmt21_258_364
FAIL
40.2
stmt19_2_261
FAIL
40.21
stmt21_360_409
FAIL
40.23
stmt46_163_289
FAIL
40.24
stmt21_215_413
FAIL
40.32
stmt52_244_295
FAIL
40.32
stmt21_218_413
FAIL
40.35
stmt19_352_408
FAIL
40.35
stmt22_73_263
FAIL
40.35
stmt21_364_409
FAIL
40.35
stmt21_252_364
FAIL
40.41
stmt19_67_257
FAIL
40.42
stmt19_3_261
FAIL
40.45
stmt21_354_369
FAIL
40.46
stmt19_3_257
FAIL
40.55
stmt21_71_252
FAIL
40.55
stmt41_36_37
UNSAT
40.55
stmt21_360_403
FAIL
40.56
stmt22_80_259
FAIL
40.66
stmt19_83_250
FAIL
40.66
stmt21_354_403
FAIL
40.67
stmt19_368_408
FAIL
40.69
stmt22_80_253
FAIL
40.7
stmt19_66_261
FAIL
40.72
stmt19_309_363
FAIL
40.74
stmt19_66_250
FAIL
40.76
stmt21_79_262
FAIL
40.78
stmt22_365_404
FAIL
40.83
stmt19_90_250
FAIL
40.83
stmt52_54_244
FAIL
40.83
stmt19_368_401
FAIL
40.85
stmt22_92_263
FAIL
40.89
stmt22_85_263
FAIL
40.89
stmt21_403_409
FAIL
40.99
stmt19_250_412
FAIL
41.04
stmt19_257_412
FAIL
41.05
stmt21_143_258
FAIL
41.11
stmt22_135_315
FAIL
41.18
stmt19_142_261
FAIL
41.29
stmt21_138_252
FAIL
41.39
stmt19_125_261
FAIL
41.39
stmt21_127_252
FAIL
41.41
stmt22_139_263
FAIL
41.47
stmt19_133_250
FAIL
41.5
stmt19_133_261
FAIL
41.6
stmt21_304_364
FAIL
41.69
stmt19_302_412
FAIL
41.72
stmt19_309_412
FAIL
41.83
stmt22_182_263
FAIL
41.9
stmt19_177_261
FAIL
41.92
stmt21_360_364
FAIL
41.92
stmt19_67_318
FAIL
42
stmt19_217_250
FAIL
42.31
stmt21_215_252
FAIL
42.31
stmt21_218_262
FAIL
42.37
stmt19_214_261
FAIL
42.38
stmt21_218_364
FAIL
42.5
stmt19_177_363
FAIL
42.56
stmt21_267_310
FAIL
42.58
stmt19_266_313
FAIL
42.6
stmt21_181_364
FAIL
42.6
stmt19_214_363
FAIL
42.61
stmt19_266_363
FAIL
42.85
stmt22_263_365
FAIL
43.03
stmt21_319_364
FAIL
43.04
stmt19_142_318
FAIL
43.04
stmt21_258_304
FAIL
43.1
stmt21_354_413
FAIL
43.13
stmt22_263_305
FAIL
43.14
stmt21_252_304
FAIL
43.14
stmt21_262_310
FAIL
43.15
stmt22_263_315
FAIL
43.15
stmt19_257_313
FAIL
43.17
stmt19_352_363
FAIL
43.24
stmt21_252_310
FAIL
43.3
stmt31_152_328
FAIL
43.31
stmt21_403_413
FAIL
43.32
stmt22_361_414
FAIL
43.37
stmt53_57_346
FAIL
43.38
stmt21_409_413
FAIL
43.39
stmt22_259_311
FAIL
43.58
stmt22_268_414
FAIL
43.61
stmt21_5_360
FAIL
43.67
stmt21_71_360
FAIL
43.68
stmt19_318_412
FAIL
43.72
stmt21_314_364
FAIL
43.81
stmt19_67_368
FAIL
43.81
stmt39_34_384
FAIL
43.83
stmt21_262_413
FAIL
43.92
stmt22_85_355
FAIL
43.92
stmt21_310_314
FAIL
43.93
stmt19_66_359
FAIL
43.96
stmt22_80_361
FAIL
43.97
stmt22_92_361
FAIL
44
stmt21_70_354
FAIL
44.03
stmt19_90_352
FAIL
44.03
stmt32_191_329
FAIL
44.07
stmt53_118_346
FAIL
44.12
stmt44_162_338
FAIL
44.16
stmt32_24_378
FAIL
44.17
stmt19_83_359
FAIL
44.18
stmt19_217_318
FAIL
44.26
stmt19_214_318
FAIL
44.26
stmt39_35_384
FAIL
44.34
stmt19_78_352
FAIL
44.37
stmt21_134_354
FAIL
44.44
stmt19_133_359
FAIL
44.45
stmt44_41_387
FAIL
44.45
stmt22_92_259
FAIL
44.46
stmt19_137_359
FAIL
44.5
stmt21_84_258
FAIL
44.55
stmt21_70_258
FAIL
44.56
stmt21_127_354
FAIL
44.57
stmt19_137_352
FAIL
44.6
stmt31_23_377
FAIL
44.63
stmt19_313_412
FAIL
44.64
stmt22_144_355
FAIL
44.65
stmt22_144_361
FAIL
44.67
stmt21_70_369
FAIL
44.72
stmt21_91_369
FAIL
44.77
stmt22_80_370
FAIL
45.07
stmt85_64_248
FAIL
45.09
stmt21_84_369
FAIL
45.09
stmt21_127_360
FAIL
45.1
stmt21_127_258
FAIL
45.11
stmt21_138_258
FAIL
45.16
stmt19_133_368
FAIL
45.18
stmt19_133_257
FAIL
45.19
stmt19_3_401
FAIL
45.19
stmt19_137_368
FAIL
45.22
stmt21_252_319
FAIL
45.32
stmt21_71_409
FAIL
45.33
stmt22_365_414
FAIL
45.52
stmt21_127_369
FAIL
45.53
stmt50_51_392
FAIL
45.54
stmt22_73_404
FAIL
45.62
stmt47_112_389
FAIL
45.74
stmt21_178_258
FAIL
45.82
stmt21_181_258
FAIL
45.87
stmt19_2_401
FAIL
45.87
stmt21_4_409
FAIL
46.06
stmt19_313_318
FAIL
46.07
stmt19_368_412
FAIL
46.13
stmt19_142_250
FAIL
46.17
stmt39_234_384
FAIL
46.24
stmt19_137_417
FAIL
46.37
stmt19_3_408
FAIL
46.39
stmt21_127_418
FAIL
46.39
stmt22_144_419
FAIL
46.4
stmt21_134_418
FAIL
46.4
stmt21_218_258
FAIL
46.43
stmt19_302_318
FAIL
46.44
stmt19_214_257
FAIL
46.51
stmt19_250_368
FAIL
46.73
stmt22_263_370
FAIL
47.07
stmt52_244_394
FAIL
47.2
stmt21_178_409
FAIL
47.2
stmt19_180_408
FAIL
47.23
stmt19_214_217
FAIL
47.31
stmt19_177_250
FAIL
47.32
stmt41_36_198
FAIL
47.37
stmt22_182_253
FAIL
47.42
stmt21_215_418
FAIL
47.48
stmt19_217_401
FAIL
47.51
stmt31_22_328
FAIL
47.58
stmt19_217_408
FAIL
47.6
stmt21_215_403
FAIL
47.62
stmt19_217_417
FAIL
47.7
stmt21_215_409
FAIL
47.81
stmt21_4_310
FAIL
47.88
stmt21_252_262
FAIL
48.12
stmt21_310_354
FAIL
48.15
stmt21_4_304
FAIL
48.15
stmt19_2_313
FAIL
48.17
stmt21_314_354
FAIL
48.2
stmt19_133_214
FAIL
48.2
stmt19_3_309
FAIL
48.28
stmt22_73_311
FAIL
48.38
stmt19_313_368
FAIL
48.5
stmt21_252_418
FAIL
48.53
stmt21_138_215
FAIL
48.55
stmt21_304_360
FAIL
48.57
stmt22_139_219
FAIL
48.58
stmt19_3_313
FAIL
48.6
stmt21_5_304
FAIL
48.73
stmt22_73_268
FAIL
48.84
stmt47_44_340
FAIL
48.92
stmt21_262_418
FAIL
48.93
stmt21_71_304
FAIL
48.97
stmt19_78_309
FAIL
49.01
stmt31_100_328
FAIL
49.06
stmt21_70_310
FAIL
49.08
stmt21_84_310
FAIL
49.1
stmt52_54_345
FAIL
49.14
stmt39_285_335
FAIL
49.15
stmt21_71_314
FAIL
49.18
stmt31_276_328
FAIL
49.21
stmt21_70_304
FAIL
49.22
stmt21_91_304
FAIL
49.23
stmt21_70_314
FAIL
49.25
stmt39_159_197
FAIL
49.26
stmt22_92_315
FAIL
49.27
stmt21_79_314
FAIL
49.28
stmt47_290_340
FAIL
49.3
stmt19_83_302
FAIL
49.34
stmt21_79_304
FAIL
49.36
stmt19_90_309
FAIL
49.36
stmt21_258_360
FAIL
49.38
stmt22_85_315
FAIL
49.39
stmt21_304_418
FAIL
49.41
stmt21_314_418
FAIL
49.42
stmt21_252_354
FAIL
49.44
stmt19_250_359
FAIL
49.45
stmt22_85_320
FAIL
49.46
stmt21_364_369
FAIL
49.46
stmt21_138_304
FAIL
49.47
stmt50_167_293
FAIL
49.48
stmt46_43_339
FAIL
49.48
stmt21_134_304
FAIL
49.49
stmt22_263_361
FAIL
49.51
stmt22_259_355
FAIL
49.52
stmt22_263_355
FAIL
49.54
stmt19_266_359
FAIL
49.56
stmt19_142_302
FAIL
49.57
stmt19_66_318
FAIL
49.58
stmt41_36_336
FAIL
49.58
stmt29_21_327
FAIL
49.61
stmt22_92_320
FAIL
49.62
stmt19_352_359
FAIL
49.63
stmt19_125_302
FAIL
49.63
stmt22_259_370
FAIL
49.67
stmt19_137_313
FAIL
49.68
stmt19_125_313
FAIL
49.69
stmt21_143_314
FAIL
49.7
stmt21_364_418
FAIL
49.75
stmt22_135_311
FAIL
49.78
stmt21_127_310
FAIL
49.8
stmt19_266_368
FAIL
49.82
stmt19_78_318
FAIL
49.91
stmt19_257_318
FAIL
49.91
stmt22_6_219
FAIL
49.92
stmt52_55_207
FAIL
49.93
stmt50_50_205
FAIL
49.95
stmt21_138_310
FAIL
49.97
stmt39_35_335
FAIL
49.98
stmt19_142_309
FAIL
50
stmt44_110_338
FAIL
50.14
stmt19_2_214
FAIL
50.35
stmt22_268_320
FAIL
50.38
stmt53_296_346
FAIL
50.42
stmt44_110_200
FAIL
50.42
stmt21_403_418
FAIL
50.47
stmt22_144_179
FAIL
50.5
stmt19_177_309
FAIL
50.58
stmt19_352_417
FAIL
50.58
stmt19_180_309
FAIL
50.62
stmt22_311_320
FAIL
50.78
stmt39_107_335
FAIL
50.82
stmt19_180_313
FAIL
50.96
stmt19_177_313
FAIL
51.02
stmt21_70_178
FAIL
51.04
stmt19_90_177
FAIL
51.06
stmt22_182_305
FAIL
51.09
stmt19_412_417
FAIL
51.12
stmt19_177_302
FAIL
51.15
stmt19_214_302
FAIL
51.22
stmt22_135_320
FAIL
51.23
stmt22_139_320
FAIL
51.24
stmt19_66_180
FAIL
51.25
stmt21_127_319
FAIL
51.25
stmt29_275_376
FAIL
51.28
stmt19_217_309
FAIL
51.4
stmt21_91_181
FAIL
51.4
stmt19_214_309
FAIL
51.4
stmt22_85_182
FAIL
51.42
stmt21_79_178
FAIL
51.43
stmt19_214_313
FAIL
51.54
stmt22_182_320
FAIL
51.54
stmt50_167_343
FAIL
51.54
stmt19_217_302
FAIL
51.57
stmt22_80_182
FAIL
51.61
stmt39_159_335
FAIL
51.62
stmt44_200_338
FAIL
51.65
stmt22_315_361
FAIL
51.66
stmt19_177_318
FAIL
51.68
stmt22_85_179
FAIL
51.69
stmt19_302_352
FAIL
51.7
stmt21_310_360
FAIL
51.71
stmt19_66_217
FAIL
51.78
stmt22_320_361
FAIL
51.88
stmt21_218_314
FAIL
51.91
stmt52_207_345
FAIL
52.01
stmt41_286_385
FAIL
52.02
stmt47_239_340
FAIL
52.11
stmt22_259_410
FAIL
52.17
stmt21_262_409
FAIL
52.17
stmt19_250_401
FAIL
52.22
stmt22_263_404
FAIL
52.23
stmt22_259_404
FAIL
52.27
stmt52_117_207
FAIL
52.29
stmt47_164_202
FAIL
52.31
stmt22_311_370
FAIL
52.38
stmt22_320_370
FAIL
52.46
stmt19_266_408
FAIL
52.46
stmt22_268_404
FAIL
52.49
stmt46_289_388
FAIL
52.62
stmt50_242_343
FAIL
52.65
stmt19_66_214
FAIL
52.66
stmt19_66_90
FAIL
52.7
stmt39_234_335
FAIL
52.73
stmt21_267_304
FAIL
52.8
stmt21_143_181
FAIL
52.8
stmt41_198_336
FAIL
52.82
stmt21_252_314
FAIL
52.85
stmt19_250_408
FAIL
52.96
stmt22_139_182
FAIL
53.17
stmt21_134_178
FAIL
53.32
stmt52_295_394
FAIL
53.35
stmt19_133_180
FAIL
53.46
stmt53_57_245
FAIL
53.5
stmt19_137_177
FAIL
53.51
stmt19_125_214
FAIL
53.92
stmt21_127_218
FAIL
54.1
stmt22_305_311
FAIL
54.24
stmt19_302_313
FAIL
54.28
stmt32_329_378
FAIL
54.6
stmt50_115_242
FAIL
54.62
stmt50_167_205
FAIL
54.78
stmt21_262_319
FAIL
54.92
stmt19_67_214
FAIL
55.03
stmt46_43_201
FAIL
55.05
stmt41_198_235
FAIL
55.07
stmt22_73_219
FAIL
55.25
stmt46_201_238
FAIL
55.42
stmt39_107_197
FAIL
55.51
stmt27_16_224
FAIL
55.52
stmt22_179_182
FAIL
55.67
stmt41_37_198
FAIL
55.69
stmt21_5_218
FAIL
55.71
stmt19_83_266
FAIL
55.82
stmt22_80_268
FAIL
55.84
stmt21_70_267
FAIL
55.92
stmt19_3_214
FAIL
56.02
stmt19_90_266
FAIL
56.32
stmt85_64_65
FAIL
56.43
stmt21_178_218
FAIL
56.58
stmt21_181_218
FAIL
56.62
stmt19_177_214
FAIL
56.71
stmt21_84_215
FAIL
56.79
stmt21_138_267
FAIL
57.22
stmt19_133_266
FAIL
57.24
stmt19_78_217
FAIL
57.29
stmt21_127_267
FAIL
57.34
stmt52_169_244
FAIL
57.38
stmt26_15_223
FAIL
57.46
stmt28_19_98
FAIL
57.67
stmt19_142_266
FAIL
57.94
stmt19_133_217
FAIL
57.98
stmt22_92_216
FAIL
58.07
stmt22_73_92
FAIL
58.09
stmt21_143_215
FAIL
58.29
stmt22_182_268
FAIL
58.52
stmt19_83_217
FAIL
58.54
stmt21_178_267
FAIL
58.57
stmt19_90_217
FAIL
58.64
stmt19_142_217
FAIL
58.64
stmt53_208_245
FAIL
59.1
stmt27_97_187
FAIL
59.32
stmt22_219_268
FAIL
59.33
stmt21_215_267
FAIL
59.49
stmt41_37_235
FAIL
59.63
stmt22_72_80
FAIL
59.88
stmt44_41_237
FAIL
60.03
stmt27_149_224
FAIL
60.24
stmt28_98_225
FAIL
60.37
stmt41_108_235
FAIL
60.83
stmt47_44_202
FAIL
61.01
stmt27_149_187
FAIL
61.19
stmt21_252_267
FAIL
62.52
stmt46_111_238
FAIL
62.74
stmt19_261_266
FAIL
62.74
stmt22_182_216
FAIL
63.21
stmt31_190_227
FAIL
63.48
stmt52_55_117
FAIL
64.95
stmt52_54_55
FAIL
65.28
stmt41_160_235
FAIL
65.75
stmt19_3_78
UNSAT
65.84
stmt44_162_237
FAIL
66.28
stmt22_6_128
FAIL
66.62
stmt19_2_137
FAIL
67.48
stmt21_4_134
FAIL
67.52
stmt22_73_128
FAIL
67.66
stmt21_5_138
FAIL
67.69
stmt19_125_133
FAIL
68.56
stmt19_125_137
FAIL
68.86
stmt22_80_144
FAIL
69.3
stmt19_66_142
FAIL
69.37
stmt19_67_83
UNSAT
70.26
stmt19_90_142
FAIL
70.56
stmt19_90_125
FAIL
71.75
stmt21_5_134
FAIL
72.16
stmt22_135_144
FAIL
72.22
stmt85_64_122
FAIL
72.43
stmt41_37_108
FAIL
72.55
stmt21_79_134
FAIL
73.1
stmt21_70_138
FAIL
73.12
stmt19_66_133
FAIL
73.18
stmt22_80_139
FAIL
73.65
stmt21_84_138
FAIL
73.77
stmt21_71_134
FAIL
73.89
stmt46_43_111
FAIL
73.91
stmt19_67_137
FAIL
73.95
stmt19_78_125
FAIL
74.51
stmt21_84_134
FAIL
74.52
stmt21_70_127
FAIL
74.62
stmt19_90_133
FAIL
74.65
stmt27_16_149
FAIL
74.92
stmt22_92_139
FAIL
75.41
stmt21_84_127
FAIL
75.64
stmt19_83_142
FAIL
76.67
stmt50_50_115
FAIL
77.06
stmt21_134_138
FAIL
77.41
stmt22_6_80
UNSAT
77.55
stmt21_127_143
FAIL
77.7
stmt19_78_83
FAIL
78.45
stmt27_17_149
FAIL
82.71
stmt53_118_170
FAIL
83.57
stmt27_16_97
FAIL
85.23
stmt41_36_160
FAIL
85.33
stmt27_17_187
FAIL
87.88
stmt39_35_159
FAIL
87.88
stmt21_71_143
FAIL
87.9
stmt41_108_160
FAIL
88.44
stmt47_45_164
FAIL
88.97
stmt29_99_151
FAIL
89.85
stmt44_40_162
FAIL
89.91
stmt46_111_163
FAIL
90.63
stmt22_139_144
FAIL
91.86
stmt52_54_169
FAIL
93.11
stmt50_51_167
FAIL
93.35
stmt19_2_83
UNSAT
94.71
stmt22_73_80
FAIL
96.18
stmt39_34_107
FAIL
98.28
stmt44_40_110
FAIL
99.54
stmt19_2_180
FAIL
102.08
stmt21_70_84
FAIL
102.22
stmt22_73_179
FAIL
106.36
stmt22_73_182
FAIL
106.45
stmt21_71_70
UNSAT
106.59
stmt19_3_83
UNSAT
108.25
stmt21_5_181
FAIL
123.17
stmt19_3_177
FAIL
124.92
stmt21_4_178
FAIL
125.83
stmt19_83_90
UNSAT
128.1
stmt21_79_91
UNSAT
129.07
stmt32_24_191
FAIL
133.12
stmt21_127_178
FAIL
135.14
stmt21_127_181
FAIL
136.07
stmt22_6_72
FAIL
153.23
Contact
|
Organization
|
Links
|
Citing QBFLIB