|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_szymanski.5.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.307s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_szymanski.4.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_szymanski.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.235s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_szymanski.2.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.245s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_szymanski.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.159s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_synabs2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.161s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_swap_three_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.160s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_sym_ex_v_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.166s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_sym_ex_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.175s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_state_machine_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_sw_loop_v_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.163s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_loop_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.233s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_ball2004_2_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.304s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_ball2004_1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.176s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sw_ball2001_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.323s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sokoban.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.329s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_sokoban.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.233s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_seq_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.241s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_schedule_world.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.326s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_schedule_world.2.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.233s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_schedule_world.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.248s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_rushhour.4.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.238s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_rushhour.3.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.244s
|
|
dolmen-strict
|
/home/guillaume/bench/smtlib-incremental/QF_BV/2018-Goel-hwbench/QF_BV_bv_bv_rushhour.2.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_rushhour.1.prop1_cc_ref_max.smt2
(content)
|
ok
|
ok
|
0.317s
|