detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409821/gensys_brn776.smt2 (content) sat sat 0.195s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409821/gensys_brn776.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 0.137s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409819/gensys_brn774.smt2 (content) sat sat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409819/gensys_brn774.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409817/gensys_brn772.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409817/gensys_brn772.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409816/gensys_brn771.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409816/gensys_brn771.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409815/gensys_brn770.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409815/gensys_brn770.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2 (content) unsat unsat 8.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2 (content) unsat unsat 0.527s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409813/gensys_brn768.smt2 (content) sat sat 0.191s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409813/gensys_brn768.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409812/gensys_brn767.smt2 (content) sat sat 0.158s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409812/gensys_brn767.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2 (content) unsat unsat 3.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2 (content) unsat unsat 0.456s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409810/gensys_brn765.smt2 (content) sat sat 0.149s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409810/gensys_brn765.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409809/gensys_brn764.smt2 (content) sat sat 0.327s