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
Nenofex
QBFEVAL'08
Instance
Result
Time
stmt21_70_369
FAIL
92.05
stmt19_133_180
FAIL
98.15
stmt19_137_177
FAIL
101.2
stmt19_67_363
FAIL
102.57
stmt46_43_339
FAIL
102.74
stmt22_80_370
FAIL
103.47
stmt21_71_354
FAIL
103.93
stmt21_5_354
FAIL
104.07
stmt21_138_215
FAIL
104.48
stmt19_90_309
FAIL
104.58
stmt22_92_320
FAIL
105.36
stmt21_127_181
FAIL
105.59
stmt21_5_364
FAIL
107.38
stmt21_134_178
FAIL
108.06
stmt22_139_182
FAIL
110.12
stmt19_90_352
FAIL
110.58
stmt22_92_139
FAIL
110.61
stmt21_127_178
FAIL
110.85
stmt19_66_417
FAIL
111.72
stmt19_133_217
FAIL
112
stmt21_178_267
FAIL
112.79
stmt19_90_363
FAIL
112.94
stmt22_73_179
FAIL
113.24
stmt22_182_268
FAIL
114.09
stmt22_73_219
FAIL
114.39
stmt19_125_214
FAIL
114.68
stmt19_313_368
FAIL
115.37
stmt21_127_319
FAIL
115.42
stmt19_67_368
FAIL
117.5
stmt21_5_360
FAIL
118.1
stmt39_107_335
FAIL
118.29
stmt31_190_276
FAIL
120.85
stmt22_73_182
FAIL
120.98
stmt21_127_369
FAIL
121.14
stmt19_142_318
FAIL
121.28
stmt19_90_133
FAIL
121.46
stmt19_83_302
FAIL
121.5
stmt22_144_361
FAIL
121.56
stmt32_101_378
FAIL
121.86
stmt22_139_320
FAIL
122.06
stmt19_133_214
FAIL
122.2
stmt19_133_368
FAIL
122.33
stmt21_143_314
FAIL
122.81
stmt22_139_144
FAIL
123.31
stmt21_91_369
FAIL
123.42
stmt32_329_378
FAIL
123.48
stmt21_304_409
FAIL
124.25
stmt19_125_137
FAIL
124.61
stmt22_92_315
FAIL
124.72
stmt21_127_218
FAIL
125.04
stmt44_41_387
FAIL
125.15
stmt19_142_302
FAIL
125.25
stmt19_125_133
FAIL
126.06
stmt27_149_224
FAIL
126.17
stmt21_134_138
FAIL
126.19
stmt22_144_370
FAIL
127.27
stmt21_71_360
FAIL
127.44
stmt21_4_360
FAIL
127.93
stmt21_138_304
FAIL
128.54
stmt19_78_417
FAIL
128.66
stmt21_91_304
FAIL
128.76
stmt21_79_304
FAIL
128.86
stmt21_314_409
FAIL
128.89
stmt22_315_404
FAIL
129.02
stmt85_64_122
FAIL
129.16
stmt21_403_409
FAIL
129.42
stmt19_217_302
FAIL
129.71
stmt19_217_309
FAIL
129.77
stmt21_218_314
FAIL
130.04
stmt21_181_369
FAIL
130.38
stmt46_201_388
FAIL
130.46
stmt21_84_215
FAIL
130.6
stmt21_127_143
FAIL
130.66
stmt32_191_329
FAIL
130.74
stmt21_4_354
FAIL
131.05
stmt21_215_267
FAIL
131.21
stmt19_177_359
FAIL
131.44
stmt44_162_387
FAIL
131.51
stmt22_139_219
FAIL
131.58
stmt19_214_313
FAIL
131.59
stmt22_80_361
FAIL
132.04
stmt21_84_127
FAIL
132.04
stmt32_24_378
FAIL
132.16
stmt22_144_355
FAIL
132.46
stmt19_78_363
FAIL
132.56
stmt85_300_399
FAIL
133.2
stmt19_368_412
FAIL
133.26
stmt28_98_225
FAIL
133.43
stmt19_352_363
FAIL
133.48
stmt21_181_364
FAIL
133.59
stmt21_127_258
FAIL
133.8
stmt22_80_216
FAIL
134.19
stmt19_133_257
FAIL
134.39
stmt19_66_214
FAIL
134.76
stmt44_110_338
FAIL
135.15
stmt21_91_181
FAIL
135.27
stmt44_162_338
FAIL
135.32
stmt21_310_403
FAIL
135.36
stmt21_79_314
FAIL
135.49
stmt19_90_217
FAIL
135.81
stmt21_4_409
FAIL
135.98
stmt21_70_314
FAIL
136.42
stmt19_309_408
FAIL
136.57
stmt21_181_218
FAIL
136.66
stmt21_409_413
FAIL
136.76
stmt21_360_409
FAIL
136.83
stmt19_302_412
FAIL
136.98
stmt21_314_418
FAIL
137.26
stmt21_218_364
FAIL
137.59
stmt19_133_359
FAIL
137.91
stmt19_309_412
FAIL
137.97
stmt19_352_408
FAIL
138.18
stmt21_319_418
FAIL
138.18
stmt21_364_409
FAIL
138.45
stmt31_23_377
FAIL
138.86
stmt19_177_352
FAIL
139.16
stmt19_137_363
FAIL
139.17
stmt19_67_214
FAIL
139.25
stmt21_84_310
FAIL
139.57
stmt19_217_417
FAIL
139.72
stmt19_137_313
FAIL
139.74
stmt22_73_404
FAIL
139.86
stmt22_92_361
FAIL
140.22
stmt39_234_335
FAIL
140.33
stmt21_403_413
FAIL
140.47
stmt52_169_394
FAIL
140.52
stmt22_365_414
FAIL
140.75
stmt19_313_412
FAIL
140.91
stmt19_66_359
FAIL
141.17
stmt22_365_404
FAIL
141.4
stmt22_92_404
FAIL
141.46
stmt21_178_218
FAIL
141.47
stmt19_3_408
FAIL
141.59
stmt21_218_360
FAIL
141.65
stmt19_214_363
FAIL
141.67
stmt19_66_363
FAIL
141.73
stmt19_177_363
FAIL
141.78
stmt22_85_320
FAIL
141.82
stmt21_84_364
FAIL
141.99
stmt21_70_354
FAIL
142.03
stmt19_78_352
FAIL
142.12
stmt32_153_277
FAIL
142.14
stmt21_360_364
FAIL
142.23
stmt41_160_286
FAIL
142.45
stmt22_135_144
FAIL
142.97
stmt21_134_354
FAIL
143.26
stmt19_90_177
FAIL
143.41
stmt19_137_359
FAIL
143.54
stmt19_177_368
FAIL
143.69
stmt21_354_403
FAIL
143.94
stmt22_315_361
FAIL
143.96
stmt31_100_328
FAIL
144.11
stmt22_135_315
FAIL
144.17
stmt22_6_414
FAIL
144.32
stmt19_180_309
FAIL
144.34
stmt19_78_309
FAIL
144.36
stmt21_354_413
FAIL
144.81
stmt19_214_309
FAIL
144.89
stmt21_4_364
FAIL
144.94
stmt19_142_309
FAIL
145.03
stmt27_149_187
FAIL
145.09
stmt19_214_359
FAIL
145.1
stmt29_226_376
FAIL
145.63
stmt21_181_413
FAIL
145.87
stmt41_336_385
FAIL
145.99
stmt19_177_309
FAIL
146.2
stmt19_66_217
FAIL
146.23
stmt19_368_401
FAIL
146.34
stmt19_352_359
FAIL
146.66
stmt22_92_216
FAIL
146.82
stmt21_70_304
FAIL
147.01
stmt22_219_268
FAIL
147.1
stmt21_364_418
FAIL
147.23
stmt22_85_315
FAIL
147.29
stmt50_343_392
FAIL
147.69
stmt19_137_417
FAIL
147.7
stmt41_198_235
FAIL
148.05
stmt19_137_352
FAIL
148.18
stmt21_134_364
FAIL
148.21
stmt22_80_182
FAIL
148.24
stmt19_180_352
FAIL
148.27
stmt22_361_414
FAIL
148.49
stmt31_190_227
FAIL
148.61
stmt39_159_384
FAIL
148.85
stmt21_267_310
FAIL
149.11
stmt19_217_368
FAIL
149.23
stmt19_214_302
FAIL
149.4
stmt41_108_235
FAIL
149.61
stmt41_198_286
FAIL
149.73
stmt31_22_328
FAIL
149.96
stmt21_70_310
FAIL
150.07
stmt19_66_180
FAIL
150.25
stmt19_217_352
FAIL
150.3
stmt21_71_304
FAIL
150.33
stmt19_214_318
FAIL
150.34
stmt47_340_389
FAIL
150.59
stmt50_51_392
FAIL
150.63
stmt21_181_360
FAIL
150.87
stmt21_71_413
FAIL
151.4
stmt21_127_360
FAIL
151.47
stmt19_66_401
FAIL
151.53
stmt19_352_417
FAIL
151.91
stmt21_215_354
FAIL
152.03
stmt19_142_363
FAIL
152.26
stmt21_70_178
FAIL
152.33
stmt21_319_403
FAIL
152.57
stmt19_83_359
FAIL
152.73
stmt22_73_311
FAIL
153.03
stmt22_179_182
FAIL
153.34
stmt19_90_408
FAIL
153.56
stmt21_79_178
FAIL
153.62
stmt21_178_403
FAIL
154.31
stmt19_177_214
FAIL
154.46
stmt21_71_409
FAIL
155.22
stmt19_180_401
FAIL
155.35
stmt19_318_412
FAIL
155.41
stmt26_15_223
FAIL
155.56
stmt21_138_413
FAIL
155.94
stmt22_182_216
FAIL
155.98
stmt19_217_318
FAIL
156.03
stmt39_159_335
FAIL
156.18
stmt32_228_277
FAIL
156.33
stmt85_122_399
FAIL
156.41
stmt41_160_235
FAIL
156.51
stmt53_118_346
FAIL
156.78
stmt31_152_328
FAIL
156.83
stmt41_36_336
FAIL
156.93
stmt21_178_409
FAIL
156.99
stmt19_90_417
FAIL
157.43
stmt22_259_263
FAIL
157.58
stmt19_67_318
FAIL
157.58
stmt19_214_217
FAIL
157.92
stmt47_45_164
FAIL
158.05
stmt19_3_401
FAIL
158.12
stmt19_125_302
FAIL
158.15
stmt52_54_345
FAIL
158.48
stmt21_134_413
FAIL
158.49
stmt22_73_419
FAIL
158.72
stmt32_153_378
FAIL
159.01
stmt21_403_418
FAIL
159.05
stmt19_214_368
FAIL
159.55
stmt19_177_261
FAIL
159.75
stmt21_127_413
FAIL
160.17
stmt19_142_412
FAIL
160.23
stmt19_266_313
FAIL
160.29
stmt19_266_363
FAIL
160.71
stmt19_125_313
FAIL
160.78
stmt19_3_214
FAIL
160.8
stmt19_78_408
FAIL
161.31
stmt19_83_217
FAIL
161.53
stmt21_360_418
FAIL
161.58
stmt19_250_368
FAIL
161.88
stmt19_408_417
FAIL
162.1
stmt19_257_318
FAIL
162.1
stmt19_66_408
FAIL
162.12
stmt21_71_314
FAIL
162.63
stmt19_177_412
FAIL
163.52
stmt21_91_413
FAIL
164.35
stmt29_99_151
FAIL
164.36
stmt19_125_363
FAIL
164.46
stmt21_127_354
FAIL
164.81
stmt21_5_413
FAIL
164.98
stmt19_261_266
FAIL
165.01
stmt50_51_167
FAIL
165.59
stmt21_143_403
FAIL
165.75
stmt22_135_404
FAIL
165.95
stmt22_182_263
FAIL
166.28
stmt21_319_364
FAIL
166.34
stmt22_259_370
FAIL
166.43
stmt22_144_179
FAIL
166.44
stmt50_115_392
FAIL
166.51
stmt21_5_304
FAIL
166.72
stmt22_85_355
FAIL
167.35
stmt19_412_417
FAIL
167.41
stmt22_182_320
FAIL
167.45
stmt19_2_401
FAIL
168.43
stmt19_142_217
FAIL
168.6
stmt19_137_368
FAIL
168.73
stmt21_181_258
FAIL
168.75
stmt19_302_318
FAIL
168.93
stmt41_37_286
FAIL
169.23
stmt22_139_404
FAIL
169.3
stmt21_127_418
FAIL
169.59
stmt21_215_413
FAIL
169.66
stmt22_253_259
FAIL
170.07
stmt21_252_319
FAIL
170.3
stmt19_78_318
FAIL
170.68
stmt50_167_343
FAIL
170.74
stmt21_5_218
FAIL
170.82
stmt39_34_285
FAIL
170.9
stmt22_135_320
FAIL
171.23
stmt21_84_369
FAIL
171.41
stmt19_78_217
FAIL
171.8
stmt21_218_262
FAIL
171.84
stmt29_226_327
FAIL
172.16
stmt21_143_409
FAIL
172.78
stmt47_202_290
FAIL
172.79
stmt22_182_253
FAIL
172.82
stmt19_66_412
FAIL
173.42
stmt19_177_318
FAIL
174.14
stmt19_266_352
FAIL
174.21
stmt47_112_290
FAIL
174.43
stmt50_51_293
FAIL
174.7
stmt50_242_343
FAIL
174.82
stmt21_218_413
FAIL
174.85
stmt19_83_90
FAIL
175.28
stmt19_313_318
FAIL
175.31
stmt39_159_197
FAIL
175.52
stmt22_268_320
FAIL
175.55
stmt22_85_179
FAIL
175.78
stmt50_205_392
FAIL
176.36
stmt19_368_417
FAIL
176.75
stmt21_143_215
FAIL
176.8
stmt22_80_404
FAIL
177.26
stmt22_85_182
FAIL
177.42
stmt21_252_310
FAIL
177.45
stmt32_191_378
FAIL
177.89
stmt19_217_401
FAIL
178.41
stmt22_85_410
FAIL
178.48
stmt46_43_201
FAIL
178.48
stmt21_262_319
FAIL
178.76
stmt22_73_80
FAIL
179.12
stmt19_217_408
FAIL
179.37
stmt19_180_313
FAIL
179.71
stmt21_262_310
FAIL
180.12
stmt21_143_181
FAIL
180.64
stmt19_177_250
FAIL
181.67
stmt19_368_408
FAIL
182.08
stmt22_80_414
FAIL
182.22
stmt21_360_403
FAIL
182.36
stmt21_134_418
FAIL
182.48
stmt21_304_369
FAIL
182.6
stmt41_198_336
FAIL
182.76
stmt22_263_370
FAIL
183.04
stmt22_311_320
FAIL
183.64
stmt19_2_313
FAIL
183.78
stmt22_144_419
FAIL
184.5
stmt19_257_313
FAIL
185.36
stmt22_182_305
FAIL
185.71
stmt44_41_237
FAIL
185.75
stmt22_259_311
FAIL
186.07
stmt22_182_419
FAIL
186.78
stmt21_215_418
FAIL
186.8
stmt21_127_409
FAIL
187.17
stmt19_266_368
FAIL
187.24
stmt46_111_238
FAIL
187.4
stmt22_263_305
FAIL
187.52
stmt21_4_304
FAIL
187.56
stmt19_177_302
FAIL
187.8
stmt19_266_359
FAIL
187.85
stmt19_257_266
FAIL
188.8
stmt19_83_142
FAIL
188.98
stmt21_71_70
FAIL
188.99
stmt21_84_403
FAIL
189
stmt31_276_328
FAIL
189.02
stmt19_180_408
FAIL
189.34
stmt21_215_403
FAIL
189.52
stmt19_90_142
FAIL
189.86
stmt39_107_197
FAIL
189.89
stmt22_311_370
FAIL
190.26
stmt21_252_304
FAIL
190.92
stmt22_263_361
FAIL
192.19
stmt21_319_409
FAIL
192.38
stmt22_80_268
FAIL
192.42
stmt50_167_293
FAIL
192.61
stmt22_73_92
FAIL
193.31
stmt21_310_360
FAIL
193.38
stmt21_258_364
FAIL
193.7
stmt22_268_404
FAIL
193.91
stmt19_214_261
FAIL
194.05
stmt19_67_83
FAIL
194.49
stmt22_263_365
FAIL
194.58
stmt19_266_417
FAIL
194.6
stmt21_258_304
FAIL
194.73
stmt21_258_360
FAIL
195.16
stmt52_55_207
FAIL
195.2
stmt21_252_314
FAIL
195.84
stmt41_37_235
FAIL
196.04
stmt19_137_408
FAIL
196.43
stmt21_252_364
FAIL
196.73
stmt22_263_355
FAIL
197.22
stmt53_57_346
FAIL
197.28
stmt19_3_309
FAIL
197.74
stmt44_162_237
FAIL
197.91
stmt21_360_369
FAIL
198.66
stmt19_90_125
FAIL
199.21
stmt52_207_345
FAIL
199.25
stmt22_259_355
FAIL
199.33
stmt19_133_408
FAIL
199.84
stmt19_66_318
FAIL
200.05
stmt21_252_418
FAIL
200.29
stmt21_252_262
FAIL
200.42
stmt52_244_394
FAIL
200.94
stmt21_178_418
FAIL
201.07
stmt21_178_258
FAIL
201.83
stmt19_302_313
FAIL
201.89
stmt21_319_354
FAIL
202.44
stmt39_285_335
FAIL
202.5
stmt21_4_134
FAIL
202.53
stmt19_177_313
FAIL
202.79
stmt22_268_414
FAIL
203.42
stmt21_252_354
FAIL
203.6
stmt22_263_315
FAIL
204.09
stmt53_118_170
FAIL
204.54
stmt21_252_267
FAIL
204.86
stmt22_73_128
FAIL
204.95
stmt19_83_412
FAIL
205.86
stmt21_364_369
FAIL
206.18
stmt41_108_160
FAIL
206.46
stmt21_310_314
FAIL
206.74
stmt47_239_340
FAIL
207.35
stmt21_215_409
FAIL
207.79
stmt19_257_412
FAIL
207.9
stmt19_250_359
FAIL
208.17
stmt22_80_259
FAIL
208.69
stmt21_354_369
FAIL
208.94
stmt21_71_143
FAIL
209.37
stmt19_83_417
FAIL
209.73
stmt19_3_313
FAIL
210.92
stmt22_305_311
FAIL
211.66
stmt41_198_385
FAIL
211.86
stmt21_127_310
FAIL
211.89
stmt46_238_388
FAIL
212.56
stmt53_57_245
FAIL
212.57
stmt28_19_98
FAIL
212.8
stmt21_138_310
FAIL
212.93
stmt21_267_304
FAIL
213.35
stmt19_90_266
FAIL
213.77
stmt22_259_404
FAIL
213.81
stmt22_259_419
FAIL
213.86
stmt21_5_134
FAIL
214.02
stmt53_296_346
FAIL
214.86
stmt21_262_409
FAIL
215.06
stmt46_163_289
FAIL
215.64
stmt21_304_418
FAIL
216.84
stmt19_266_408
FAIL
217.21
stmt21_5_181
FAIL
217.61
stmt44_200_338
FAIL
217.63
stmt21_84_138
FAIL
218.35
stmt39_107_285
FAIL
218.82
stmt22_263_404
FAIL
219.31
stmt19_3_177
FAIL
219.82
stmt21_79_134
FAIL
219.85
stmt19_250_412
FAIL
220
stmt22_73_268
FAIL
221.38
stmt41_235_286
FAIL
221.69
stmt22_135_311
FAIL
222.13
stmt21_314_354
FAIL
222.73
stmt19_67_137
FAIL
223.33
stmt29_21_275
FAIL
223.93
stmt22_6_128
FAIL
224.58
stmt27_17_187
FAIL
224.78
stmt44_110_200
FAIL
225.71
stmt19_3_261
FAIL
225.83
stmt21_262_413
FAIL
226.69
stmt19_250_408
FAIL
226.98
stmt19_83_266
FAIL
227.13
stmt21_138_258
FAIL
227.13
stmt21_4_310
FAIL
227.81
stmt47_290_340
FAIL
227.99
stmt21_304_364
FAIL
228.23
stmt21_134_304
FAIL
228.27
stmt22_320_370
FAIL
228.45
stmt22_80_139
FAIL
228.83
stmt41_286_385
FAIL
229.09
stmt19_250_401
FAIL
232.37
stmt21_84_258
FAIL
232.81
stmt50_50_392
FAIL
233.01
stmt19_309_363
FAIL
233.07
stmt21_84_134
FAIL
233.37
stmt22_85_263
FAIL
233.88
stmt85_64_248
FAIL
234.14
stmt39_35_335
FAIL
234.42
stmt21_70_267
FAIL
235.77
stmt39_34_384
FAIL
235.82
stmt31_22_23
FAIL
236.38
stmt21_314_364
FAIL
236.67
stmt44_41_288
FAIL
237.07
stmt21_79_262
FAIL
237.38
stmt21_304_360
FAIL
237.98
stmt29_21_327
FAIL
238.12
stmt52_244_295
FAIL
238.44
stmt29_275_376
FAIL
238.93
stmt47_112_389
FAIL
239.41
stmt22_259_410
FAIL
240.71
stmt47_239_290
FAIL
241.18
stmt19_142_250
FAIL
241.45
stmt47_44_239
FAIL
241.97
stmt46_289_388
FAIL
243.53
stmt22_320_361
FAIL
244.9
stmt19_142_266
FAIL
245.75
stmt21_79_91
FAIL
246.3
stmt27_16_149
FAIL
246.76
stmt19_302_352
FAIL
246.87
stmt39_107_384
FAIL
248.23
stmt21_310_354
FAIL
249.53
stmt39_35_384
FAIL
249.54
stmt21_70_127
FAIL
249.91
stmt47_164_202
FAIL
250.52
stmt21_70_138
FAIL
253.14
stmt19_2_137
FAIL
253.46
stmt21_5_138
FAIL
254.27
stmt50_167_205
FAIL
256.22
stmt19_78_125
FAIL
256.38
stmt52_117_295
FAIL
258.12
stmt19_66_133
FAIL
259.49
stmt19_66_250
FAIL
259.56
stmt52_117_207
FAIL
260.18
stmt32_24_277
FAIL
263.67
stmt50_205_293
FAIL
264.57
stmt19_309_417
FAIL
265.07
stmt52_295_394
FAIL
265.64
stmt85_64_65
FAIL
265.89
stmt27_97_187
FAIL
267.62
stmt19_3_83
FAIL
268.15
stmt19_2_250
FAIL
271.54
stmt22_6_219
FAIL
272.09
stmt39_234_384
FAIL
274.11
stmt22_73_263
FAIL
274.83
stmt21_70_84
FAIL
275.24
stmt19_2_257
FAIL
276.39
stmt19_2_214
FAIL
276.43
stmt19_67_257
FAIL
277.45
stmt41_36_235
FAIL
280.16
stmt19_142_261
FAIL
280.73
stmt19_66_261
FAIL
282.45
stmt21_71_134
FAIL
282.81
stmt21_70_258
FAIL
283.99
stmt31_100_276
FAIL
286.19
stmt19_66_142
FAIL
286.27
stmt19_133_266
FAIL
287.27
stmt41_37_198
FAIL
288.05
stmt27_16_97
FAIL
288.67
stmt52_55_117
FAIL
288.88
stmt50_50_293
FAIL
290.35
stmt53_208_245
FAIL
291.07
stmt19_2_261
FAIL
293.96
stmt22_80_144
FAIL
294.49
stmt21_215_252
FAIL
301.5
stmt19_214_257
FAIL
302.06
stmt21_138_252
FAIL
303.06
stmt52_54_169
FAIL
305.05
stmt47_44_340
FAIL
308.42
stmt21_262_418
FAIL
311.3
stmt46_43_111
FAIL
311.31
stmt21_143_258
FAIL
311.96
stmt21_218_258
FAIL
312.65
stmt46_201_238
FAIL
322.87
stmt22_92_259
FAIL
324.62
stmt21_127_252
FAIL
325.22
stmt27_17_149
FAIL
325.88
stmt19_133_250
FAIL
327.6
stmt19_66_90
FAIL
328.96
stmt44_40_387
FAIL
329.27
stmt19_133_261
FAIL
329.54
stmt22_72_80
FAIL
329.82
stmt19_83_250
FAIL
330.06
stmt21_71_252
FAIL
331.08
stmt52_169_244
FAIL
331.12
stmt19_125_261
FAIL
332.11
stmt19_78_83
FAIL
345.86
stmt22_6_80
FAIL
351.05
stmt22_80_253
FAIL
352.82
stmt22_92_263
FAIL
356.91
stmt50_115_242
FAIL
358.07
stmt21_127_267
FAIL
361.43
stmt39_35_159
FAIL
361.46
stmt46_42_289
FAIL
364.58
stmt19_2_83
FAIL
365.1
stmt44_40_162
FAIL
368.01
stmt39_34_107
FAIL
373.56
stmt22_139_263
FAIL
376.1
stmt32_24_191
FAIL
384.01
stmt19_90_250
FAIL
397.17
stmt27_16_224
FAIL
402.2
stmt19_217_250
FAIL
404.24
stmt21_138_267
FAIL
418.29
stmt41_36_37
FAIL
426.67
stmt46_111_163
FAIL
428.5
stmt21_4_5
FAIL
447.46
stmt19_3_257
FAIL
448.15
stmt47_44_202
FAIL
451.8
stmt21_4_178
FAIL
453.63
stmt41_36_160
FAIL
463.65
stmt19_2_180
FAIL
474.3
stmt50_50_205
FAIL
510.17
stmt19_3_78
FAIL
516.64
stmt41_36_198
FAIL
544.45
stmt44_40_110
FAIL
557.27
stmt41_37_108
FAIL
590.21
stmt22_6_72
FAIL
595.83
stmt52_54_244
FAIL
600
stmt44_40_41
FAIL
600
stmt52_54_55
FAIL
600
stmt50_50_115
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB