detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412321/iso_brn666.smt2 (content) unsat unsat 0.210s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412321/iso_brn666.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412320/iso_brn665.smt2 (content) unsat unsat 0.196s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412320/iso_brn665.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412319/iso_brn664.smt2 (content) unsat unsat 0.242s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412319/iso_brn664.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412318/iso_brn663.smt2 (content) unsat unsat 0.237s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412318/iso_brn663.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412317/iso_brn662.smt2 (content) unsat unsat 0.262s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412317/iso_brn662.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412316/iso_brn661.smt2 (content) unsat unsat 0.279s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412316/iso_brn661.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412315/iso_brn660.smt2 (content) unsat unsat 0.219s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412315/iso_brn660.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412314/iso_brn659.smt2 (content) sat sat 0.215s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412314/iso_brn659.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412313/iso_brn658.smt2 (content) unsat unsat 0.187s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412313/iso_brn658.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412312/iso_brn657.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412312/iso_brn657.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412311/iso_brn656.smt2 (content) sat sat 0.148s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412311/iso_brn656.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412310/iso_brn655.smt2 (content) sat sat 0.158s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412310/iso_brn655.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412309/iso_brn654.smt2 (content) sat sat 0.176s