detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409458/gensys_brn413.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 8.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) unsat unsat 0.667s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.124s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409456/gensys_brn411.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.288s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409455/gensys_brn410.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409454/gensys_brn409.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409453/gensys_brn408.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409452/gensys_brn407.smt2 (content) unsat unsat 0.091s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409451/gensys_brn406.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409450/gensys_brn405.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2 (content) sat sat 0.395s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409449/gensys_brn404.smt2 (content) sat sat 0.140s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2 (content) sat sat 0.218s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409448/gensys_brn403.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2 (content) sat sat 0.193s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409447/gensys_brn402.smt2 (content) sat sat 0.049s