|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_resistance.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.232s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_protocols.5.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.322s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_protocols.4.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.230s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_protocols.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.320s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_production_cell.5.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.232s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_production_cell.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.236s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_production_cell.2.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.316s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_production_cell.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.237s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_plc.4.prop2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.242s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_plc.3.prop2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.236s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_plc.2.prop2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.232s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_plc.1.prop2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.232s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_pgm_protocol.2.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.239s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_pgm_protocol.1.prop5_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.308s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_pgm_protocol.1.prop2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.314s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_pgm_protocol.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.243s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peterson.5.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.325s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peterson.4.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.320s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peterson.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.229s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peterson.2.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.247s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peterson.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.247s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peg_solitaire.5.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.322s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peg_solitaire.4.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.228s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peg_solitaire.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.416s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_peg_solitaire.2.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.314s
|