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
AQME-1NN
QBFEVAL'08
Instance
Result
Time
stmt41_36_37
UNSAT
1.5
stmt44_40_41
UNSAT
1.52
stmt19_3_78
UNSAT
1.52
stmt19_2_83
UNSAT
1.54
stmt22_6_72
UNSAT
1.56
stmt21_71_70
UNSAT
1.56
stmt31_22_23
UNSAT
1.57
stmt22_6_80
UNSAT
1.64
stmt22_73_80
UNSAT
1.67
stmt19_67_83
UNSAT
1.67
stmt22_73_92
UNSAT
1.68
stmt85_64_65
UNSAT
1.69
stmt19_3_83
UNSAT
1.69
stmt19_83_90
UNSAT
1.75
stmt52_54_55
UNSAT
1.79
stmt19_66_90
UNSAT
1.81
stmt19_78_83
UNSAT
1.85
stmt22_72_80
UNSAT
1.86
stmt21_70_84
UNSAT
1.9
stmt27_16_97
UNSAT
1.9
stmt21_79_91
UNSAT
1.96
stmt22_6_128
UNSAT
2.06
stmt19_2_137
UNSAT
2.06
stmt22_73_128
UNSAT
2.12
stmt21_5_134
UNSAT
2.12
stmt39_34_107
UNSAT
2.15
stmt44_40_110
UNSAT
2.16
stmt19_90_125
UNSAT
2.16
stmt28_19_98
UNSAT
2.16
stmt21_4_134
UNSAT
2.21
stmt19_66_142
UNSAT
2.22
stmt50_50_115
UNSAT
2.24
stmt21_5_138
UNSAT
2.25
stmt46_43_111
UNSAT
2.26
stmt41_37_108
UNSAT
2.3
stmt19_66_133
UNSAT
2.3
stmt19_78_125
UNSAT
2.32
stmt21_71_134
UNSAT
2.38
stmt85_64_122
UNSAT
2.41
stmt21_71_143
UNSAT
2.45
stmt21_84_138
UNSAT
2.46
stmt52_55_117
UNSAT
2.47
stmt22_80_144
UNSAT
2.57
stmt19_67_137
UNSAT
2.58
stmt21_70_127
UNSAT
2.61
stmt21_84_127
UNSAT
2.62
stmt21_79_134
UNSAT
2.66
stmt21_84_134
UNSAT
2.68
stmt22_80_139
UNSAT
2.69
stmt21_70_138
UNSAT
2.74
stmt21_4_5
UNSAT
2.74
stmt27_16_149
UNSAT
2.76
stmt19_2_180
UNSAT
2.78
stmt41_36_160
UNSAT
2.85
stmt32_24_191
UNSAT
2.86
stmt41_36_198
UNSAT
2.88
stmt27_17_149
UNSAT
2.9
stmt44_40_162
UNSAT
2.93
stmt19_266_352
UNSAT
2.95
stmt21_4_178
UNSAT
2.98
stmt19_217_368
UNSAT
3.02
stmt21_215_403
UNSAT
3.02
stmt21_258_304
UNSAT
3.04
stmt19_302_318
UNSAT
3.04
stmt22_305_311
UNSAT
3.05
stmt21_262_319
UNSAT
3.05
stmt21_319_403
UNSAT
3.06
stmt46_238_388
UNSAT
3.07
stmt22_268_404
UNSAT
3.07
stmt21_252_319
UNSAT
3.07
stmt46_201_388
UNSAT
3.08
stmt22_268_320
UNSAT
3.09
stmt21_178_403
UNSAT
3.11
stmt19_250_359
UNSAT
3.11
stmt21_304_418
UNSAT
3.11
stmt39_234_384
UNSAT
3.11
stmt21_215_413
UNSAT
3.12
stmt22_263_355
UNSAT
3.12
stmt22_263_370
UNSAT
3.14
stmt19_250_412
UNSAT
3.14
stmt21_314_354
UNSAT
3.14
stmt21_215_409
UNSAT
3.14
stmt21_178_409
UNSAT
3.14
stmt50_242_343
UNSAT
3.15
stmt21_258_360
UNSAT
3.16
stmt19_180_401
UNSAT
3.16
stmt19_217_401
UNSAT
3.16
stmt21_267_304
UNSAT
3.16
stmt22_263_404
UNSAT
3.17
stmt22_259_404
UNSAT
3.17
stmt47_239_340
UNSAT
3.18
stmt19_217_417
UNSAT
3.18
stmt21_304_364
UNSAT
3.19
stmt22_263_315
UNSAT
3.2
stmt50_205_392
UNSAT
3.21
stmt21_364_418
UNSAT
3.21
stmt21_304_369
UNSAT
3.22
stmt19_214_368
UNSAT
3.22
stmt19_250_368
UNSAT
3.23
stmt21_319_354
UNSAT
3.23
stmt21_252_354
UNSAT
3.24
stmt21_252_304
UNSAT
3.24
stmt21_262_418
UNSAT
3.24
stmt21_310_354
UNSAT
3.24
stmt19_313_318
UNSAT
3.25
stmt21_262_310
UNSAT
3.25
stmt21_262_413
UNSAT
3.25
stmt22_259_370
UNSAT
3.26
stmt22_315_404
UNSAT
3.26
stmt19_266_313
UNSAT
3.27
stmt19_266_359
UNSAT
3.27
stmt19_302_313
UNSAT
3.28
stmt22_263_305
UNSAT
3.28
stmt21_403_418
UNSAT
3.29
stmt21_360_418
UNSAT
3.29
stmt21_258_364
UNSAT
3.29
stmt21_215_418
UNSAT
3.3
stmt22_182_419
UNSAT
3.3
stmt19_352_359
UNSAT
3.3
stmt21_360_409
UNSAT
3.31
stmt21_360_369
UNSAT
3.31
stmt21_252_310
UNSAT
3.31
stmt21_354_369
UNSAT
3.32
stmt22_315_361
UNSAT
3.32
stmt21_364_369
UNSAT
3.32
stmt21_360_403
UNSAT
3.33
stmt21_304_360
UNSAT
3.33
stmt21_314_409
UNSAT
3.34
stmt22_311_370
UNSAT
3.34
stmt52_54_169
UNSAT
3.35
stmt19_368_408
UNSAT
3.35
stmt21_127_143
UNSAT
3.35
stmt21_364_409
UNSAT
3.35
stmt22_259_419
UNSAT
3.36
stmt22_263_361
UNSAT
3.36
stmt19_257_313
UNSAT
3.36
stmt19_313_412
UNSAT
3.37
stmt21_218_413
UNSAT
3.37
stmt22_361_414
UNSAT
3.37
stmt19_309_363
UNSAT
3.38
stmt19_257_412
UNSAT
3.38
stmt19_177_412
UNSAT
3.38
stmt21_314_364
UNSAT
3.38
stmt19_309_408
UNSAT
3.39
stmt29_226_376
UNSAT
3.39
stmt22_259_311
UNSAT
3.41
stmt19_266_408
UNSAT
3.42
stmt19_90_133
UNSAT
3.42
stmt21_178_418
UNSAT
3.43
stmt19_352_363
UNSAT
3.44
stmt21_319_409
UNSAT
3.44
stmt19_313_368
UNSAT
3.44
stmt21_310_403
UNSAT
3.45
stmt21_304_409
UNSAT
3.45
stmt21_403_413
UNSAT
3.46
stmt19_266_417
UNSAT
3.47
stmt19_309_417
UNSAT
3.47
stmt21_310_314
UNSAT
3.48
stmt19_250_401
UNSAT
3.49
stmt21_409_413
UNSAT
3.5
stmt19_266_368
UNSAT
3.51
stmt22_263_365
UNSAT
3.51
stmt21_262_409
UNSAT
3.51
stmt19_309_412
UNSAT
3.52
stmt22_365_414
UNSAT
3.52
stmt22_268_414
UNSAT
3.52
stmt21_360_364
UNSAT
3.52
stmt19_83_142
UNSAT
3.52
stmt22_320_361
UNSAT
3.53
stmt19_302_412
UNSAT
3.53
stmt19_318_412
UNSAT
3.53
stmt19_266_363
UNSAT
3.54
stmt19_412_417
UNSAT
3.54
stmt22_92_139
UNSAT
3.56
stmt22_135_144
UNSAT
3.56
stmt19_90_142
UNSAT
3.56
stmt21_354_413
UNSAT
3.56
stmt19_368_412
UNSAT
3.58
stmt21_252_364
UNSAT
3.6
stmt19_408_417
UNSAT
3.6
stmt21_314_418
UNSAT
3.62
stmt19_125_133
UNSAT
3.64
stmt22_139_144
UNSAT
3.74
stmt21_134_138
UNSAT
3.84
stmt29_99_151
UNSAT
3.89
stmt47_44_202
UNSAT
3.96
stmt19_125_137
UNSAT
3.96
stmt39_35_159
UNSAT
4
stmt22_73_179
UNSAT
4.05
stmt19_250_408
UNSAT
4.16
stmt19_3_177
UNSAT
4.16
stmt27_16_224
UNSAT
4.19
stmt50_51_167
UNSAT
4.22
stmt22_259_410
UNSAT
4.22
stmt21_143_181
UNSAT
4.25
stmt21_127_178
UNSAT
4.38
stmt19_137_177
UNSAT
4.38
stmt21_70_178
UNSAT
4.41
stmt50_50_205
UNSAT
4.44
stmt22_144_179
UNSAT
4.46
stmt53_118_170
UNSAT
4.46
stmt22_6_219
UNSAT
4.48
stmt41_37_198
UNSAT
4.54
stmt41_108_160
UNSAT
4.54
stmt19_90_177
UNSAT
4.59
stmt27_17_187
UNSAT
4.6
stmt19_3_214
UNSAT
4.6
stmt22_92_216
UNSAT
4.61
stmt47_45_164
UNSAT
4.63
stmt19_66_180
UNSAT
4.65
stmt22_85_179
UNSAT
4.67
stmt21_5_181
UNSAT
4.67
stmt21_91_181
UNSAT
4.67
stmt22_139_182
UNSAT
4.67
stmt41_36_235
UNSAT
4.68
stmt22_85_182
UNSAT
4.72
stmt22_179_182
UNSAT
4.74
stmt21_127_181
UNSAT
4.75
stmt19_133_180
UNSAT
4.8
stmt22_80_182
UNSAT
4.83
stmt39_159_197
UNSAT
4.85
stmt47_44_239
UNSAT
4.87
stmt21_134_178
UNSAT
4.89
stmt19_67_214
UNSAT
4.89
stmt27_97_187
UNSAT
4.9
stmt52_55_207
UNSAT
4.9
stmt47_164_202
UNSAT
4.9
stmt22_73_182
UNSAT
4.91
stmt21_79_178
UNSAT
4.96
stmt19_2_214
UNSAT
4.98
stmt41_37_235
UNSAT
5
stmt26_15_223
UNSAT
5.03
stmt19_142_217
UNSAT
5.08
stmt52_54_244
UNSAT
5.14
stmt21_84_215
UNSAT
5.18
stmt19_133_214
UNSAT
5.18
stmt39_107_197
UNSAT
5.21
stmt28_98_225
UNSAT
5.29
stmt44_110_200
UNSAT
5.29
stmt21_143_215
UNSAT
5.32
stmt22_182_216
UNSAT
5.36
stmt21_5_218
UNSAT
5.39
stmt19_133_217
UNSAT
5.39
stmt52_117_207
UNSAT
5.46
stmt46_111_163
UNSAT
5.46
stmt22_80_216
UNSAT
5.48
stmt19_214_217
UNSAT
5.49
stmt50_167_205
UNSAT
5.5
stmt19_90_217
UNSAT
5.52
stmt19_66_214
UNSAT
5.53
stmt22_139_219
UNSAT
5.54
stmt22_73_219
UNSAT
5.54
stmt46_43_201
UNSAT
5.55
stmt46_111_238
UNSAT
5.59
stmt19_177_214
UNSAT
5.62
stmt21_181_218
UNSAT
5.62
stmt31_190_227
UNSAT
5.65
stmt21_127_218
UNSAT
5.67
stmt19_66_261
UNSAT
5.71
stmt19_125_261
UNSAT
5.71
stmt19_78_217
UNSAT
5.72
stmt21_178_218
UNSAT
5.72
stmt19_2_261
UNSAT
5.74
stmt22_139_263
UNSAT
5.75
stmt41_108_235
UNSAT
5.76
stmt22_85_263
UNSAT
5.78
stmt22_182_263
UNSAT
5.78
stmt46_201_238
UNSAT
5.8
stmt50_115_242
UNSAT
5.81
stmt19_177_261
UNSAT
5.81
stmt41_160_235
UNSAT
5.88
stmt21_218_262
UNSAT
5.88
stmt19_214_261
UNSAT
5.89
stmt19_133_261
UNSAT
5.89
stmt19_3_261
UNSAT
5.92
stmt19_125_214
UNSAT
5.94
stmt27_149_187
UNSAT
5.97
stmt19_83_217
UNSAT
5.99
stmt22_92_263
UNSAT
6.03
stmt19_66_250
UNSAT
6.06
stmt19_177_250
UNSAT
6.13
stmt21_127_252
UNSAT
6.14
stmt21_79_262
UNSAT
6.15
stmt19_133_250
UNSAT
6.15
stmt44_162_237
UNSAT
6.16
stmt22_182_253
UNSAT
6.18
stmt44_41_237
UNSAT
6.19
stmt21_215_252
UNSAT
6.2
stmt21_138_252
UNSAT
6.22
stmt19_2_250
UNSAT
6.25
stmt19_83_250
UNSAT
6.26
stmt19_142_250
UNSAT
6.29
stmt19_66_217
UNSAT
6.31
stmt19_217_250
UNSAT
6.32
stmt21_138_215
UNSAT
6.32
stmt53_57_245
UNSAT
6.33
stmt22_80_253
UNSAT
6.34
stmt41_198_235
UNSAT
6.36
stmt22_73_263
UNSAT
6.37
stmt21_71_252
UNSAT
6.38
stmt19_2_257
UNSAT
6.4
stmt19_90_250
UNSAT
6.42
stmt21_70_267
UNSAT
6.49
stmt21_70_258
UNSAT
6.49
stmt52_169_244
UNSAT
6.54
stmt22_80_259
UNSAT
6.55
stmt19_142_261
UNSAT
6.56
stmt21_178_258
UNSAT
6.56
stmt21_218_258
UNSAT
6.57
stmt53_208_245
UNSAT
6.57
stmt22_73_268
UNSAT
6.58
stmt85_64_248
UNSAT
6.6
stmt21_84_258
UNSAT
6.65
stmt22_219_268
UNSAT
6.66
stmt19_214_257
UNSAT
6.67
stmt19_142_266
UNSAT
6.68
stmt21_127_267
UNSAT
6.69
stmt21_181_258
UNSAT
6.69
stmt19_133_257
UNSAT
6.71
stmt19_90_266
UNSAT
6.74
stmt19_83_266
UNSAT
6.74
stmt21_252_267
UNSAT
6.76
stmt21_138_267
UNSAT
6.77
stmt27_149_224
UNSAT
6.78
stmt19_3_257
UNSAT
6.79
stmt21_215_267
UNSAT
6.81
stmt19_133_266
UNSAT
6.81
stmt19_261_266
UNSAT
6.84
stmt22_182_268
UNSAT
6.85
stmt21_178_267
UNSAT
6.89
stmt19_67_257
UNSAT
6.96
stmt21_127_258
UNSAT
6.98
stmt21_138_258
UNSAT
7.01
stmt21_143_258
UNSAT
7.04
stmt22_80_268
UNSAT
7.14
stmt22_92_259
UNSAT
7.19
stmt41_160_286
UNSAT
7.26
stmt39_107_285
UNSAT
7.49
stmt41_37_286
UNSAT
7.56
stmt31_190_276
UNSAT
7.64
stmt32_24_277
UNSAT
7.87
stmt50_51_293
UNSAT
7.91
stmt32_228_277
UNSAT
7.92
stmt50_167_293
UNSAT
7.92
stmt52_244_295
UNSAT
7.96
stmt32_153_277
UNSAT
8.01
stmt19_257_266
UNSAT
8.02
stmt52_117_295
UNSAT
8.08
stmt31_100_276
UNSAT
8.08
stmt50_205_293
UNSAT
8.13
stmt22_139_320
UNSAT
8.38
stmt19_67_318
UNSAT
8.39
stmt22_259_263
UNSAT
8.42
stmt22_92_320
UNSAT
8.43
stmt19_217_318
UNSAT
8.43
stmt22_85_320
UNSAT
8.58
stmt21_252_262
UNSAT
8.59
stmt19_142_318
UNSAT
8.64
stmt22_182_320
UNSAT
8.66
stmt21_70_310
UNSAT
8.87
stmt21_71_304
UNSAT
8.89
stmt22_253_259
UNSAT
8.89
stmt29_21_275
UNSAT
8.91
stmt50_50_293
UNSAT
8.97
stmt39_34_285
UNSAT
9.05
stmt41_235_286
UNSAT
9.06
stmt41_198_286
UNSAT
9.07
stmt21_4_310
UNSAT
9.15
stmt47_202_290
UNSAT
9.17
stmt19_142_302
UNSAT
9.21
stmt19_66_318
UNSAT
9.22
stmt19_3_309
UNSAT
9.22
stmt19_78_318
UNSAT
9.25
stmt21_91_304
UNSAT
9.32
stmt19_177_318
UNSAT
9.33
stmt22_135_320
UNSAT
9.33
stmt21_127_319
UNSAT
9.35
stmt19_83_302
UNSAT
9.36
stmt22_182_305
UNSAT
9.37
stmt47_112_290
UNSAT
9.4
stmt47_239_290
UNSAT
9.45
stmt44_41_288
UNSAT
9.45
stmt19_214_302
UNSAT
9.46
stmt19_214_318
UNSAT
9.47
stmt46_163_289
UNSAT
9.47
stmt21_4_304
UNSAT
9.47
stmt21_138_304
UNSAT
9.49
stmt46_42_289
UNSAT
9.5
stmt21_5_304
UNSAT
9.52
stmt21_70_304
UNSAT
9.52
stmt21_79_304
UNSAT
9.53
stmt19_217_302
UNSAT
9.54
stmt19_142_309
UNSAT
9.55
stmt19_177_302
UNSAT
9.56
stmt21_134_304
UNSAT
9.63
stmt19_125_302
UNSAT
9.7
stmt19_90_309
UNSAT
9.73
stmt21_84_310
UNSAT
9.75
stmt19_217_309
UNSAT
9.89
stmt21_127_310
UNSAT
9.92
stmt19_214_309
UNSAT
9.94
stmt19_180_309
UNSAT
9.95
stmt21_71_314
UNSAT
9.95
stmt22_135_311
UNSAT
10.06
stmt19_3_313
UNSAT
10.1
stmt22_92_315
UNSAT
10.13
stmt22_85_315
UNSAT
10.15
stmt19_177_309
UNSAT
10.16
stmt19_78_309
UNSAT
10.18
stmt21_143_314
UNSAT
10.21
stmt21_79_314
UNSAT
10.26
stmt22_135_315
UNSAT
10.27
stmt19_125_313
UNSAT
10.28
stmt19_180_313
UNSAT
10.3
stmt19_214_313
UNSAT
10.33
stmt19_2_313
UNSAT
10.35
stmt19_177_313
UNSAT
10.37
stmt21_70_314
UNSAT
10.39
stmt21_218_314
UNSAT
10.47
stmt19_137_313
UNSAT
10.5
stmt21_138_310
UNSAT
10.52
stmt31_22_328
UNSAT
10.86
stmt21_4_354
UNSAT
11.25
stmt21_5_354
UNSAT
11.25
stmt21_252_314
UNSAT
11.27
stmt19_257_318
UNSAT
11.28
stmt21_70_354
UNSAT
11.29
stmt39_107_335
UNSAT
11.41
stmt52_54_345
UNSAT
12.41
stmt53_57_346
UNSAT
12.42
stmt39_234_335
UNSAT
12.46
stmt41_198_336
UNSAT
12.53
stmt39_159_335
UNSAT
12.62
stmt29_21_327
UNSAT
12.74
stmt21_267_310
UNSAT
12.89
stmt31_152_328
UNSAT
13.25
stmt32_191_329
UNSAT
13.35
stmt29_226_327
UNSAT
13.38
stmt22_73_311
UNSAT
13.66
stmt31_100_328
UNSAT
13.73
stmt50_51_392
UNSAT
15.21
stmt39_35_335
UNSAT
15.27
stmt22_144_370
UNSAT
15.76
stmt19_137_368
UNSAT
16.06
stmt44_200_338
UNSAT
16.28
stmt44_162_338
UNSAT
16.48
stmt44_110_338
UNSAT
16.57
stmt19_180_352
UNSAT
19.36
stmt19_177_352
UNSAT
19.52
stmt19_217_352
UNSAT
19.79
stmt21_215_354
UNSAT
19.9
stmt22_85_355
UNSAT
20.72
stmt19_137_352
UNSAT
20.75
stmt19_78_352
UNSAT
20.82
stmt21_127_354
UNSAT
20.83
stmt21_134_354
UNSAT
20.85
stmt41_36_336
UNSAT
21.45
stmt22_144_355
UNSAT
21.81
stmt19_90_352
UNSAT
21.87
stmt21_181_364
UNSAT
22.83
stmt21_218_364
UNSAT
22.91
stmt19_66_359
UNSAT
22.99
stmt21_5_360
UNSAT
23.06
stmt19_125_363
UNSAT
23.07
stmt21_134_364
UNSAT
23.1
stmt19_177_363
UNSAT
23.1
stmt19_78_363
UNSAT
23.11
stmt47_44_340
UNSAT
23.13
stmt46_43_339
UNSAT
23.24
stmt19_137_363
UNSAT
23.25
stmt50_167_343
UNSAT
23.27
stmt21_4_364
UNSAT
23.29
stmt52_169_394
UNSAT
23.3
stmt19_214_363
UNSAT
23.31
stmt52_244_394
UNSAT
23.39
stmt52_207_345
UNSAT
23.42
stmt21_5_364
UNSAT
23.44
stmt19_66_363
UNSAT
23.49
stmt53_118_346
UNSAT
23.66
stmt19_3_401
UNSAT
23.79
stmt50_50_392
UNSAT
23.79
stmt19_66_401
UNSAT
23.97
stmt19_2_401
UNSAT
24.01
stmt21_4_409
UNSAT
24.27
stmt19_67_363
UNSAT
24.27
stmt19_133_368
UNSAT
24.28
stmt19_3_408
UNSAT
24.34
stmt19_177_368
UNSAT
24.34
stmt22_80_370
UNSAT
24.41
stmt21_84_364
UNSAT
24.5
stmt21_127_369
UNSAT
24.55
stmt22_80_404
UNSAT
24.67
stmt21_71_354
UNSAT
24.69
stmt50_115_392
UNSAT
24.69
stmt21_70_369
UNSAT
24.74
stmt21_127_409
UNSAT
24.74
stmt22_85_410
UNSAT
24.77
stmt19_180_408
UNSAT
24.81
stmt19_66_408
UNSAT
24.91
stmt21_71_360
UNSAT
25.06
stmt19_78_417
UNSAT
25.39
stmt19_137_417
UNSAT
25.39
stmt21_127_418
UNSAT
25.41
stmt22_311_320
UNSAT
25.42
stmt19_142_412
UNSAT
25.49
stmt21_91_413
UNSAT
25.52
stmt22_144_419
UNSAT
25.53
stmt21_134_418
UNSAT
25.53
stmt22_73_419
UNSAT
25.54
stmt19_83_417
UNSAT
25.54
stmt19_66_417
UNSAT
25.55
stmt21_71_413
UNSAT
25.55
stmt19_90_417
UNSAT
25.63
stmt21_252_418
UNSAT
25.81
stmt21_91_369
UNSAT
25.92
stmt32_153_378
UNSAT
25.94
stmt19_352_417
UNSAT
26.03
stmt21_181_369
UNSAT
26.05
stmt21_84_369
UNSAT
26.15
stmt19_67_368
UNSAT
26.23
stmt19_137_408
UNSAT
26.71
stmt41_198_385
UNSAT
26.78
stmt39_34_384
UNSAT
26.86
stmt32_101_378
UNSAT
27
stmt32_191_378
UNSAT
27.02
stmt31_23_377
UNSAT
27.37
stmt39_35_384
UNSAT
27.82
stmt44_40_387
UNSAT
27.93
stmt21_218_360
UNSAT
28.19
stmt19_177_359
UNSAT
28.22
stmt21_181_360
UNSAT
28.46
stmt19_214_359
UNSAT
28.56
stmt22_80_361
UNSAT
29.18
stmt21_127_360
UNSAT
29.29
stmt19_133_359
UNSAT
29.36
stmt21_71_409
UNSAT
29.37
stmt22_92_404
UNSAT
29.51
stmt19_137_359
UNSAT
29.57
stmt22_73_404
UNSAT
29.71
stmt19_83_359
UNSAT
29.72
stmt22_259_355
UNSAT
29.77
stmt19_90_363
UNSAT
30.97
stmt19_142_363
UNSAT
31.35
stmt22_92_361
UNSAT
32.17
stmt39_107_384
UNSAT
32.21
stmt39_159_384
UNSAT
32.23
stmt22_144_361
UNSAT
32.67
stmt22_80_414
UNSAT
33.63
stmt19_83_412
UNSAT
33.76
stmt19_66_412
UNSAT
33.76
stmt44_162_387
UNSAT
34.49
stmt21_127_413
UNSAT
34.82
stmt32_24_378
UNSAT
34.85
stmt21_134_413
UNSAT
35.11
stmt19_90_408
UNSAT
35.16
stmt21_138_413
UNSAT
35.16
stmt21_181_413
UNSAT
35.19
stmt19_217_408
UNSAT
35.92
stmt19_133_408
UNSAT
36.04
stmt21_143_409
UNSAT
36.04
stmt47_112_389
UNSAT
36.34
stmt19_78_408
UNSAT
36.66
stmt21_319_364
UNSAT
36.87
stmt21_84_403
UNSAT
37.47
stmt22_135_404
UNSAT
37.57
stmt22_139_404
UNSAT
37.85
stmt85_122_399
UNSAT
38.07
stmt21_143_403
UNSAT
40.38
stmt19_368_401
UNSAT
42.68
stmt44_41_387
UNSAT
44.55
stmt22_365_404
UNSAT
47.71
stmt22_6_414
UNSAT
49.28
stmt21_5_413
UNSAT
49.42
stmt19_352_408
UNSAT
57.45
stmt21_403_409
UNSAT
59.31
stmt21_4_360
UNSAT
109.03
stmt21_310_360
UNSAT
174.62
stmt47_290_340
FAIL
484.89
stmt46_289_388
FAIL
485.89
stmt41_286_385
FAIL
486.23
stmt19_302_352
FAIL
507.56
stmt39_285_335
FAIL
513.57
stmt31_276_328
FAIL
513.65
stmt29_275_376
FAIL
513.74
stmt53_296_346
FAIL
513.76
stmt47_340_389
FAIL
513.9
stmt52_295_394
FAIL
513.97
stmt22_320_370
FAIL
514.01
stmt32_329_378
FAIL
514.03
stmt85_300_399
FAIL
514.12
stmt50_343_392
FAIL
514.16
stmt21_319_418
FAIL
514.16
stmt21_354_403
FAIL
514.17
stmt41_336_385
FAIL
514.19
stmt19_368_417
FAIL
514.22
Contact
|
Organization
|
Links
|
Citing QBFLIB