detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409059/gensys_brn122.smt2 (content) unsat unsat 0.193s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409058/gensys_brn1219.smt2 (content) sat sat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409058/gensys_brn1219.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409057/gensys_brn1218.smt2 (content) sat sat 0.151s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409057/gensys_brn1218.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409056/gensys_brn1217.smt2 (content) sat sat 0.169s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409056/gensys_brn1217.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409055/gensys_brn1216.smt2 (content) sat sat 0.084s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409055/gensys_brn1216.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409054/gensys_brn1215.smt2 (content) sat sat 0.329s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409054/gensys_brn1215.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409053/gensys_brn1214.smt2 (content) unsat unsat 4.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409053/gensys_brn1214.smt2 (content) unsat unsat 0.448s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409052/gensys_brn1213.smt2 (content) sat sat 0.179s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409052/gensys_brn1213.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409051/gensys_brn1212.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409051/gensys_brn1212.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409050/gensys_brn1211.smt2 (content) sat sat 0.148s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409050/gensys_brn1211.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409049/gensys_brn1210.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409049/gensys_brn1210.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409048/gensys_brn121.smt2 (content) sat sat 0.179s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409048/gensys_brn121.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409047/gensys_brn1209.smt2 (content) sat sat 0.152s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409047/gensys_brn1209.smt2 (content) sat sat 0.029s