detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_reg_max.smt2 (content) timeout sat 21.5s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_reg_max.smt2 (content) sat sat 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_cti_max.smt2 (content) timeout sat 19.4s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_cti_max.smt2 (content) timeout sat 12.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_reg_max.smt2 (content) unsat unsat 3s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_reg_max.smt2 (content) unsat unsat 0.595s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_cti_max.smt2 (content) timeout sat 23.7s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_cti_max.smt2 (content) timeout sat 12.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_reg_max.smt2 (content) timeout sat 21.1s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_reg_max.smt2 (content) sat sat 0.810s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_cti_max.smt2 (content) timeout sat 23.6s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_cti_max.smt2 (content) sat sat 7.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_reg_max.smt2 (content) sat sat 10.5s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_reg_max.smt2 (content) sat sat 0.454s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_cti_max.smt2 (content) timeout sat 18.5s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_cti_max.smt2 (content) sat sat 7.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop1_ab_cti_max.smt2 (content) timeout sat 18.9s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop1_ab_cti_max.smt2 (content) sat sat 8.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_reg_max.smt2 (content) sat sat 5.0s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_reg_max.smt2 (content) sat sat 0.361s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_cti_max.smt2 (content) timeout sat 18.2s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_cti_max.smt2 (content) sat sat 3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop2_ab_reg_max.smt2 (content) sat sat 5.4s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop2_ab_reg_max.smt2 (content) sat sat 0.260s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop2_ab_cti_max.smt2 (content) unknown sat 11.8s