sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.5.prop2_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.215s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.5.prop1_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.116s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.5.prop1_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.204s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.4.prop2_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.022s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.4.prop2_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.270s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.4.prop1_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.099s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.4.prop1_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.215s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.3.prop2_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.139s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.3.prop2_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.136s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.3.prop1_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.191s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.3.prop1_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.105s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.2.prop2_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.097s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.2.prop2_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.233s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.2.prop1_ab_fp_max.smt2
(content)
|
unsat
|
unsat
|
1.1s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.2.prop1_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.141s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.1.prop2_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.015s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.1.prop2_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.156s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.1.prop1_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.017s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.1.prop1_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.148s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cache_coherence_two_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.059s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cache_coherence_two_ab_br_max.smt2
(content)
|
sat
|
sat
|
0.055s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cache_coherence_three_ab_reg_max.smt2
(content)
|
unsat
|
unsat
|
0.039s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_cache_coherence_three_ab_cti_max.smt2
(content)
|
sat
|
sat
|
0.227s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_bug-1_ab_reg_max.smt2
(content)
|
sat
|
sat
|
0.021s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_bug-1_ab_cti_max.smt2
(content)
|
unsat
|
unsat
|
0.014s
|