mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.6.prop1_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.051s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.5.prop1_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.062s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.4.prop1_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.057s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.2.prop1_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.040s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.030s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.141s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.087s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2
(content)
|
sat
|
unknown
|
4.8s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.089s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.050s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_segments_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.012s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b07_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.011s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.321s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b05_ab_br_max.smt2
(content)
|
sat
|
unknown
|
0.529s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b03_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.020s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_b02_ab_br_max.smt2
(content)
|
sat
|
unknown
|
0.012s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.034s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.187s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.301s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_FIFO_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.066s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_FIFO_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.293s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_reg_max.smt2
(content)
|
sat
|
unknown
|
0.072s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.038s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_br_max.smt2
(content)
|
sat
|
unknown
|
0.318s
|
mc2
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Arbiter_ab_cti_max.smt2
(content)
|
sat
|
unknown
|
0.018s
|