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.3.prop2_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_reg_max.smt2 (content) unsat unknown 0.780s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_reg_max.smt2 (content) unsat unknown 0.768s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop3_ab_reg_max.smt2 (content) sat unknown 0.741s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop3_ab_reg_max.smt2 (content) sat unknown 0.729s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop3_ab_cti_max.smt2 (content) sat unknown 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop3_ab_cti_max.smt2 (content) sat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop2_ab_reg_max.smt2 (content) sat unknown 0.744s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop2_ab_reg_max.smt2 (content) sat unknown 0.747s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop2_ab_cti_max.smt2 (content) sat unknown 3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop2_ab_cti_max.smt2 (content) sat unknown 3s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop1_ab_cti_max.smt2 (content) sat unknown 2.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.2.prop1_ab_cti_max.smt2 (content) sat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop3_ab_reg_max.smt2 (content) sat unknown 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop3_ab_reg_max.smt2 (content) sat unknown 3.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop3_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop3_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop2_ab_reg_max.smt2 (content) sat unknown 3.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop2_ab_reg_max.smt2 (content) sat unknown 3.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop2_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop2_ab_cti_max.smt2 (content) timeout unknown 11s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop1_ab_reg_max.smt2 (content) unsat unknown 0.716s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop1_ab_reg_max.smt2 (content) unsat unknown 0.694s