detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn347.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn346.smt2 (content) unsat unsat 0.208s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn346.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn345.smt2 (content) unsat unsat 0.311s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn345.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn344.smt2 (content) unsat unsat 0.325s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn344.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn343.smt2 (content) sat sat 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn343.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn342.smt2 (content) sat sat 0.228s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn342.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn341.smt2 (content) unsat unsat 0.342s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn341.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn340.smt2 (content) sat sat 0.327s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn340.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn339.smt2 (content) sat sat 0.239s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn339.smt2 (content) sat sat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn338.smt2 (content) sat sat 0.324s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn338.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn337.smt2 (content) sat sat 0.265s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn337.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn336.smt2 (content) sat sat 0.237s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn336.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn335.smt2 (content) sat sat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn335.smt2 (content) sat sat 0.041s