detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn209.smt2 (content) sat sat 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn209.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn208.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn208.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn207.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn207.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn206.smt2 (content) sat sat 0.334s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn206.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn205.smt2 (content) sat sat 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn205.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn204.smt2 (content) unsat unsat 0.437s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn204.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn203.smt2 (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn203.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn202.smt2 (content) unsat unsat 0.444s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn202.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn201.smt2 (content) sat sat 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn201.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn200.smt2 (content) sat sat 0.170s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn200.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn199.smt2 (content) sat sat 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn199.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn198.smt2 (content) sat sat 0.161s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn198.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn197.smt2 (content) sat sat 0.097s