detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 0.913s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 0.971s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409519/gensys_brn474.smt2 (content) sat sat 0.084s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409519/gensys_brn474.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2 (content) sat sat 0.219s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409518/gensys_brn473.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.163s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409517/gensys_brn472.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409516/gensys_brn471.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409513/gensys_brn468.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.070s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409512/gensys_brn467.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409511/gensys_brn466.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409510/gensys_brn465.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 1.9s