2018-Mann Benchmarks

Family
NameMann
Generation Date2018-01-01
First Occurrence2018-07-14
Benchmarks20

Benchmarks

QF_ABV • Charts • Solver Isomap
fifo_array_data_integrity_w8d8b10.smt2
fifo_array_data_integrity_w8d8b30.smt2
arbiter_array_data_integrity_n4q8w8d8b10.smt2
arbiter_array_data_integrity_n4q8w8d8b30.smt2
arbiter_array_cex_w32d32q16n4b34.smt2
fifo_array_data_integrity_w8d8b10.smt2
arbiter_array_data_integrity_n4q8w8d8b10.smt2
fifo_array_data_integrity_w8d8b30.smt2
arbiter_array_cex_w32d32q16n4b34.smt2
arbiter_array_data_integrity_n4q8w8d8b30.smt2
QF_BV • Charts • Solver Isomap
fifo_data_integrity_w8d8b10.smt2
fifo_data_integrity_w8d8b30.smt2
arbiter_cex_w8d8q8n4b10.smt2
arbiter_data_integrity_n4q8w8d8b10.smt2
arbiter_data_integrity_n4q8w8d8b30.smt2
arbiter_cex_w8d8q8n4b10.smt2
fifo_data_integrity_w8d8b10.smt2
arbiter_data_integrity_n4q8w8d8b30.smt2
fifo_data_integrity_w8d8b30.smt2
arbiter_data_integrity_n4q8w8d8b10.smt2