detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.067s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.6.prop1_ab_reg_max.smt2 (content) sat unknown 0.021s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.6.prop1_ab_reg_max.smt2 (content) sat unknown 0.022s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.6.prop1_ab_cti_max.smt2 (content) sat unknown 4.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.6.prop1_ab_cti_max.smt2 (content) sat unknown 4.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_reg_max.smt2 (content) sat unknown 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_reg_max.smt2 (content) sat unknown 0.020s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_cti_max.smt2 (content) sat unknown 4.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.5.prop1_ab_cti_max.smt2 (content) sat unknown 4.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.4.prop1_ab_reg_max.smt2 (content) sat unknown 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.4.prop1_ab_reg_max.smt2 (content) sat unknown 0.018s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.4.prop1_ab_cti_max.smt2 (content) sat unknown 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.4.prop1_ab_cti_max.smt2 (content) sat unknown 1.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.3.prop1_ab_cti_max.smt2 (content) sat unknown 0.966s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.3.prop1_ab_cti_max.smt2 (content) sat unknown 0.948s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_reg_max.smt2 (content) sat unknown 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_reg_max.smt2 (content) sat unknown 0.013s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_cti_max.smt2 (content) sat unknown 0.349s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.2.prop1_ab_cti_max.smt2 (content) sat unknown 0.354s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.782s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_election.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.791s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lann.8.prop1_ab_reg_max.smt2 (content) sat unknown 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lann.8.prop1_ab_reg_max.smt2 (content) sat unknown 0.065s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lann.8.prop1_ab_cti_max.smt2 (content) sat unknown 0.084s