detailed results (913 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.3.prop1_ab_reg_max.smt2(content)timeoutsat15.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.3.prop1_ab_fp_max.smt2(content)timeoutsat12.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.2.prop1_ab_reg_max.smt2(content)timeoutsat13.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.2.prop1_ab_fp_max.smt2(content)timeoutsat12.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.5.prop1_ab_cti_max.smt2(content)timeoutsat15.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.5.prop1_ab_br_max.smt2(content)timeoutsat13.4s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.4.prop1_ab_cti_max.smt2(content)timeoutsat13s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.4.prop1_ab_br_max.smt2(content)timeoutsat14.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_reg_max.smt2(content)timeoutsat13.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_cti_max.smt2(content)timeoutsat14.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2(content)timeoutsat13.0s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.2.prop1_ab_br_max.smt2(content)timeoutsat13s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_frogs.1.prop1_ab_br_max.smt2(content)timeoutunsat14.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop3_ab_reg_max.smt2(content)timeoutsat23.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop3_ab_cti_max.smt2(content)timeoutsat19.7s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_reg_max.smt2(content)timeoutsat18.1s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop2_ab_cti_max.smt2(content)timeoutsat20.5s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.5.prop1_ab_cti_max.smt2(content)timeoutsat19.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop3_ab_cti_max.smt2(content)timeoutsat22.9s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_cti_max.smt2(content)timeoutsat18.2s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop1_ab_cti_max.smt2(content)timeoutsat18.8s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop3_ab_cti_max.smt2(content)timeoutsat20.3s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop2_ab_cti_max.smt2(content)timeoutsat18s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_cti_max.smt2(content)timeoutsat19.6s
sidekick-dev/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop3_ab_cti_max.smt2(content)timeoutsat18.9s