detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409021/gensys_brn1185.smt2 (content) sat sat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409021/gensys_brn1185.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409020/gensys_brn1184.smt2 (content) sat sat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409020/gensys_brn1184.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409019/gensys_brn1183.smt2 (content) unsat unsat 0.502s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409019/gensys_brn1183.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409018/gensys_brn1182.smt2 (content) sat sat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409018/gensys_brn1182.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409017/gensys_brn1181.smt2 (content) sat sat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409017/gensys_brn1181.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409016/gensys_brn1180.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409016/gensys_brn1180.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409015/gensys_brn118.smt2 (content) sat sat 0.417s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409015/gensys_brn118.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409014/gensys_brn1179.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409014/gensys_brn1179.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409013/gensys_brn1178.smt2 (content) sat sat 0.179s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409013/gensys_brn1178.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409012/gensys_brn1177.smt2 (content) sat sat 0.096s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409012/gensys_brn1177.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409011/gensys_brn1176.smt2 (content) sat sat 0.123s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409011/gensys_brn1176.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409010/gensys_brn1175.smt2 (content) sat sat 0.267s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409010/gensys_brn1175.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409009/gensys_brn1174.smt2 (content) sat sat 0.117s