detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.257s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.201s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411969/iso_brn314.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411969/iso_brn314.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411968/iso_brn313.smt2 (content) unsat unsat 0.189s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411968/iso_brn313.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411967/iso_brn312.smt2 (content) sat sat 0.217s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411967/iso_brn312.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411966/iso_brn311.smt2 (content) sat sat 0.103s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411966/iso_brn311.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411965/iso_brn310.smt2 (content) sat sat 0.249s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411965/iso_brn310.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411964/iso_brn309.smt2 (content) unsat unsat 0.263s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411964/iso_brn309.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411963/iso_brn308.smt2 (content) sat sat 0.148s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411963/iso_brn308.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411962/iso_brn307.smt2 (content) unsat unsat 0.163s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411962/iso_brn307.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411961/iso_brn306.smt2 (content) sat sat 0.168s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411961/iso_brn306.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411960/iso_brn305.smt2 (content) unsat unsat 0.322s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411960/iso_brn305.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411959/iso_brn304.smt2 (content) sat sat 0.156s