detailed results (693 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_br_max.smt2(content)timeoutsat14.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.1.prop1_ab_reg_max.smt2(content)timeoutsat14.1s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.1.prop1_ab_cti_max.smt2(content)timeoutsat14.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.1.prop1_ab_br_max.smt2(content)timeoutsat19.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.5.prop1_ab_br_max.smt2(content)unknownsat10.2s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.4.prop1_ab_br_max.smt2(content)timeoutsat14.7s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_cti_max.smt2(content)timeoutsat13s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2(content)timeoutsat15.7s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.2.prop1_ab_br_max.smt2(content)timeoutsat13.2s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.1.prop1_ab_br_max.smt2(content)timeoutunsat16.2s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop3_ab_reg_max.smt2(content)timeoutsat22.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop3_ab_cti_max.smt2(content)timeoutsat25s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_reg_max.smt2(content)timeoutsat20.5s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_cti_max.smt2(content)timeoutsat22.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_cti_max.smt2(content)unknownsat10.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_reg_max.smt2(content)unknownsat11.7s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_cti_max.smt2(content)timeoutsat22.6s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_reg_max.smt2(content)timeoutsat20s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_cti_max.smt2(content)timeoutsat19.3s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop1_ab_cti_max.smt2(content)timeoutsat21.4s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_cti_max.smt2(content)timeoutsat21.8s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop2_ab_cti_max.smt2(content)timeoutsat21.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_cti_max.smt2(content)timeoutsat17.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop3_ab_cti_max.smt2(content)timeoutsat18.9s
sidekick-dev/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop2_ab_cti_max.smt2(content)timeoutsat21s