detailed results (345 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/unsat/data_card1.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/unsat/data_acycl_if.smt2 (content) unsat unsat 0.010s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/data_acycl_if.smt2 (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick/tests/unsat/data_acycl_if.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/unsat/data_acycl1.smt2 (content) unsat unsat 4.7s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/data_acycl1.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick/tests/unsat/data_acycl1.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/unsat/cong_fff_conditional6.smt2 (content) unsat unsat 0.011s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/cong_fff_conditional6.smt2 (content) unsat unsat 0.015s
z3 /home/simon/w/sidekick/tests/unsat/cong_fff_conditional6.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/unsat/cong_fff_conditional4.smt2 (content) unsat unsat 0.011s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/cong_fff_conditional4.smt2 (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick/tests/unsat/cong_fff_conditional4.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/unsat/cong_fff_conditional.smt2 (content) unsat unsat 0.010s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/cong_fff_conditional.smt2 (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick/tests/unsat/cong_fff_conditional.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/unsat/cong_fff.smt2 (content) unsat unsat 0.011s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/cong_fff.smt2 (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick/tests/unsat/cong_fff.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/unsat/clocksynchro_9clocks.main_invar.base.smt2 (content) timeout unsat 16s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/clocksynchro_9clocks.main_invar.base.smt2 (content) error unsat 0.069s
z3 /home/simon/w/sidekick/tests/unsat/clocksynchro_9clocks.main_invar.base.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/w/sidekick/tests/unsat/clocksynchro_2clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.014s
sidekick-dev-p /home/simon/w/sidekick/tests/unsat/clocksynchro_2clocks.worst_case_skew.base.smt2 (content) error unsat 0.013s
z3 /home/simon/w/sidekick/tests/unsat/clocksynchro_2clocks.worst_case_skew.base.smt2 (content) unsat unsat 0.023s