The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for terminator family
Download (30600.37 Kb)
Submitter:
Gérard Basler
Suite:
Basler
Domain:
Formal Verification
Description:
Fixpoint detection
Number of instances:
595
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 3
2017 - Track 1
2017 - Track 2
2017 - Track 3
2016 - Track 1
2016 - Track 2
2016 - Track 3
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 2
2008 - Track 1
Instances:
stmt19_125_133
stmt19_125_137
stmt19_125_214
stmt19_125_261
stmt19_125_302
stmt19_125_313
stmt19_125_363
stmt19_133_180
stmt19_133_214
stmt19_133_217
stmt19_133_250
stmt19_133_257
stmt19_133_261
stmt19_133_266
stmt19_133_359
stmt19_133_368
stmt19_133_408
stmt19_137_177
stmt19_137_313
stmt19_137_352
stmt19_137_359
stmt19_137_363
stmt19_137_368
stmt19_137_408
stmt19_137_417
stmt19_142_217
stmt19_142_250
stmt19_142_261
stmt19_142_266
stmt19_142_302
stmt19_142_309
stmt19_142_318
stmt19_142_363
stmt19_142_412
stmt19_177_214
stmt19_177_250
stmt19_177_261
stmt19_177_302
stmt19_177_309
stmt19_177_313
stmt19_177_318
stmt19_177_352
stmt19_177_359
stmt19_177_363
stmt19_177_368
stmt19_177_412
stmt19_180_309
stmt19_180_313
stmt19_180_352
stmt19_180_401
stmt19_180_408
stmt19_214_217
stmt19_214_257
stmt19_214_261
stmt19_214_302
stmt19_214_309
stmt19_214_313
stmt19_214_318
stmt19_214_359
stmt19_214_363
stmt19_214_368
stmt19_217_250
stmt19_217_302
stmt19_217_309
stmt19_217_318
stmt19_217_352
stmt19_217_368
stmt19_217_401
stmt19_217_408
stmt19_217_417
stmt19_250_359
stmt19_250_368
stmt19_250_401
stmt19_250_408
stmt19_250_412
stmt19_257_266
stmt19_257_313
stmt19_257_318
stmt19_257_412
stmt19_261_266
stmt19_266_313
stmt19_266_352
stmt19_266_359
stmt19_266_363
stmt19_266_368
stmt19_266_408
stmt19_266_417
stmt19_2_137
stmt19_2_180
stmt19_2_214
stmt19_2_250
stmt19_2_257
stmt19_2_261
stmt19_2_313
stmt19_2_401
stmt19_2_83
stmt19_302_313
stmt19_302_318
stmt19_302_352
stmt19_302_412
stmt19_309_363
stmt19_309_408
stmt19_309_412
stmt19_309_417
stmt19_313_318
stmt19_313_368
stmt19_313_412
stmt19_318_412
stmt19_352_359
stmt19_352_363
stmt19_352_408
stmt19_352_417
stmt19_368_401
stmt19_368_408
stmt19_368_412
stmt19_368_417
stmt19_3_177
stmt19_3_214
stmt19_3_257
stmt19_3_261
stmt19_3_309
stmt19_3_313
stmt19_3_401
stmt19_3_408
stmt19_3_78
stmt19_3_83
stmt19_408_417
stmt19_412_417
stmt19_66_133
stmt19_66_142
stmt19_66_180
stmt19_66_214
stmt19_66_217
stmt19_66_250
stmt19_66_261
stmt19_66_318
stmt19_66_359
stmt19_66_363
stmt19_66_401
stmt19_66_408
stmt19_66_412
stmt19_66_417
stmt19_66_90
stmt19_67_137
stmt19_67_214
stmt19_67_257
stmt19_67_318
stmt19_67_363
stmt19_67_368
stmt19_67_83
stmt19_78_125
stmt19_78_217
stmt19_78_309
stmt19_78_318
stmt19_78_352
stmt19_78_363
stmt19_78_408
stmt19_78_417
stmt19_78_83
stmt19_83_142
stmt19_83_217
stmt19_83_250
stmt19_83_266
stmt19_83_302
stmt19_83_359
stmt19_83_412
stmt19_83_417
stmt19_83_90
stmt19_90_125
stmt19_90_133
stmt19_90_142
stmt19_90_177
stmt19_90_217
stmt19_90_250
stmt19_90_266
stmt19_90_309
stmt19_90_352
stmt19_90_363
stmt19_90_408
stmt19_90_417
stmt21_127_143
stmt21_127_178
stmt21_127_181
stmt21_127_218
stmt21_127_252
stmt21_127_258
stmt21_127_267
stmt21_127_310
stmt21_127_319
stmt21_127_354
stmt21_127_360
stmt21_127_369
stmt21_127_409
stmt21_127_413
stmt21_127_418
stmt21_134_138
stmt21_134_178
stmt21_134_304
stmt21_134_354
stmt21_134_364
stmt21_134_413
stmt21_134_418
stmt21_138_215
stmt21_138_252
stmt21_138_258
stmt21_138_267
stmt21_138_304
stmt21_138_310
stmt21_138_413
stmt21_143_181
stmt21_143_215
stmt21_143_258
stmt21_143_314
stmt21_143_403
stmt21_143_409
stmt21_178_218
stmt21_178_258
stmt21_178_267
stmt21_178_403
stmt21_178_409
stmt21_178_418
stmt21_181_218
stmt21_181_258
stmt21_181_360
stmt21_181_364
stmt21_181_369
stmt21_181_413
stmt21_215_252
stmt21_215_267
stmt21_215_354
stmt21_215_403
stmt21_215_409
stmt21_215_413
stmt21_215_418
stmt21_218_258
stmt21_218_262
stmt21_218_314
stmt21_218_360
stmt21_218_364
stmt21_218_413
stmt21_252_262
stmt21_252_267
stmt21_252_304
stmt21_252_310
stmt21_252_314
stmt21_252_319
stmt21_252_354
stmt21_252_364
stmt21_252_418
stmt21_258_304
stmt21_258_360
stmt21_258_364
stmt21_262_310
stmt21_262_319
stmt21_262_409
stmt21_262_413
stmt21_262_418
stmt21_267_304
stmt21_267_310
stmt21_304_360
stmt21_304_364
stmt21_304_369
stmt21_304_409
stmt21_304_418
stmt21_310_314
stmt21_310_354
stmt21_310_360
stmt21_310_403
stmt21_314_354
stmt21_314_364
stmt21_314_409
stmt21_314_418
stmt21_319_354
stmt21_319_364
stmt21_319_403
stmt21_319_409
stmt21_319_418
stmt21_354_369
stmt21_354_403
stmt21_354_413
stmt21_360_364
stmt21_360_369
stmt21_360_403
stmt21_360_409
stmt21_360_418
stmt21_364_369
stmt21_364_409
stmt21_364_418
stmt21_403_409
stmt21_403_413
stmt21_403_418
stmt21_409_413
stmt21_4_134
stmt21_4_178
stmt21_4_304
stmt21_4_310
stmt21_4_354
stmt21_4_360
stmt21_4_364
stmt21_4_409
stmt21_4_5
stmt21_5_134
stmt21_5_138
stmt21_5_181
stmt21_5_218
stmt21_5_304
stmt21_5_354
stmt21_5_360
stmt21_5_364
stmt21_5_413
stmt21_70_127
stmt21_70_138
stmt21_70_178
stmt21_70_258
stmt21_70_267
stmt21_70_304
stmt21_70_310
stmt21_70_314
stmt21_70_354
stmt21_70_369
stmt21_70_84
stmt21_71_134
stmt21_71_143
stmt21_71_252
stmt21_71_304
stmt21_71_314
stmt21_71_354
stmt21_71_360
stmt21_71_409
stmt21_71_413
stmt21_71_70
stmt21_79_134
stmt21_79_178
stmt21_79_262
stmt21_79_304
stmt21_79_314
stmt21_79_91
stmt21_84_127
stmt21_84_134
stmt21_84_138
stmt21_84_215
stmt21_84_258
stmt21_84_310
stmt21_84_364
stmt21_84_369
stmt21_84_403
stmt21_91_181
stmt21_91_304
stmt21_91_369
stmt21_91_413
stmt22_135_144
stmt22_135_311
stmt22_135_315
stmt22_135_320
stmt22_135_404
stmt22_139_144
stmt22_139_182
stmt22_139_219
stmt22_139_263
stmt22_139_320
stmt22_139_404
stmt22_144_179
stmt22_144_355
stmt22_144_361
stmt22_144_370
stmt22_144_419
stmt22_179_182
stmt22_182_216
stmt22_182_253
stmt22_182_263
stmt22_182_268
stmt22_182_305
stmt22_182_320
stmt22_182_419
stmt22_219_268
stmt22_253_259
stmt22_259_263
stmt22_259_311
stmt22_259_355
stmt22_259_370
stmt22_259_404
stmt22_259_410
stmt22_259_419
stmt22_263_305
stmt22_263_315
stmt22_263_355
stmt22_263_361
stmt22_263_365
stmt22_263_370
stmt22_263_404
stmt22_268_320
stmt22_268_404
stmt22_268_414
stmt22_305_311
stmt22_311_320
stmt22_311_370
stmt22_315_361
stmt22_315_404
stmt22_320_361
stmt22_320_370
stmt22_361_414
stmt22_365_404
stmt22_365_414
stmt22_6_128
stmt22_6_219
stmt22_6_414
stmt22_6_72
stmt22_6_80
stmt22_72_80
stmt22_73_128
stmt22_73_179
stmt22_73_182
stmt22_73_219
stmt22_73_263
stmt22_73_268
stmt22_73_311
stmt22_73_404
stmt22_73_419
stmt22_73_80
stmt22_73_92
stmt22_80_139
stmt22_80_144
stmt22_80_182
stmt22_80_216
stmt22_80_253
stmt22_80_259
stmt22_80_268
stmt22_80_361
stmt22_80_370
stmt22_80_404
stmt22_80_414
stmt22_85_179
stmt22_85_182
stmt22_85_263
stmt22_85_315
stmt22_85_320
stmt22_85_355
stmt22_85_410
stmt22_92_139
stmt22_92_216
stmt22_92_259
stmt22_92_263
stmt22_92_315
stmt22_92_320
stmt22_92_361
stmt22_92_404
stmt26_15_223
stmt27_149_187
stmt27_149_224
stmt27_16_149
stmt27_16_224
stmt27_16_97
stmt27_17_149
stmt27_17_187
stmt27_97_187
stmt28_19_98
stmt28_98_225
stmt29_21_275
stmt29_21_327
stmt29_226_327
stmt29_226_376
stmt29_275_376
stmt29_99_151
stmt31_100_276
stmt31_100_328
stmt31_152_328
stmt31_190_227
stmt31_190_276
stmt31_22_23
stmt31_22_328
stmt31_23_377
stmt31_276_328
stmt32_101_378
stmt32_153_277
stmt32_153_378
stmt32_191_329
stmt32_191_378
stmt32_228_277
stmt32_24_191
stmt32_24_277
stmt32_24_378
stmt32_329_378
stmt39_107_197
stmt39_107_285
stmt39_107_335
stmt39_107_384
stmt39_159_197
stmt39_159_335
stmt39_159_384
stmt39_234_335
stmt39_234_384
stmt39_285_335
stmt39_34_107
stmt39_34_285
stmt39_34_384
stmt39_35_159
stmt39_35_335
stmt39_35_384
stmt41_108_160
stmt41_108_235
stmt41_160_235
stmt41_160_286
stmt41_198_235
stmt41_198_286
stmt41_198_336
stmt41_198_385
stmt41_235_286
stmt41_286_385
stmt41_336_385
stmt41_36_160
stmt41_36_198
stmt41_36_235
stmt41_36_336
stmt41_36_37
stmt41_37_108
stmt41_37_198
stmt41_37_235
stmt41_37_286
stmt44_110_200
stmt44_110_338
stmt44_162_237
stmt44_162_338
stmt44_162_387
stmt44_200_338
stmt44_40_110
stmt44_40_162
stmt44_40_387
stmt44_40_41
stmt44_41_237
stmt44_41_288
stmt44_41_387
stmt46_111_163
stmt46_111_238
stmt46_163_289
stmt46_201_238
stmt46_201_388
stmt46_238_388
stmt46_289_388
stmt46_42_289
stmt46_43_111
stmt46_43_201
stmt46_43_339
stmt47_112_290
stmt47_112_389
stmt47_164_202
stmt47_202_290
stmt47_239_290
stmt47_239_340
stmt47_290_340
stmt47_340_389
stmt47_44_202
stmt47_44_239
stmt47_44_340
stmt47_45_164
stmt50_115_242
stmt50_115_392
stmt50_167_205
stmt50_167_293
stmt50_167_343
stmt50_205_293
stmt50_205_392
stmt50_242_343
stmt50_343_392
stmt50_50_115
stmt50_50_205
stmt50_50_293
stmt50_50_392
stmt50_51_167
stmt50_51_293
stmt50_51_392
stmt52_117_207
stmt52_117_295
stmt52_169_244
stmt52_169_394
stmt52_207_345
stmt52_244_295
stmt52_244_394
stmt52_295_394
stmt52_54_169
stmt52_54_244
stmt52_54_345
stmt52_54_55
stmt52_55_117
stmt52_55_207
stmt53_118_170
stmt53_118_346
stmt53_208_245
stmt53_296_346
stmt53_57_245
stmt53_57_346
stmt85_122_399
stmt85_300_399
stmt85_64_122
stmt85_64_248
stmt85_64_65
Contact
|
Organization
|
Links
|
Citing QBFLIB