detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409759/gensys_brn714.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409758/gensys_brn713.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409758/gensys_brn713.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 0.231s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409756/gensys_brn711.smt2 (content) sat sat 0.292s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409756/gensys_brn711.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409754/gensys_brn709.smt2 (content) sat sat 0.234s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409754/gensys_brn709.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409753/gensys_brn708.smt2 (content) sat sat 0.184s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409753/gensys_brn708.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409752/gensys_brn707.smt2 (content) sat sat 0.215s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409752/gensys_brn707.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409751/gensys_brn706.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409751/gensys_brn706.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 0.565s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409749/gensys_brn704.smt2 (content) sat sat 0.329s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409749/gensys_brn704.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409748/gensys_brn703.smt2 (content) sat sat 0.256s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409748/gensys_brn703.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409747/gensys_brn702.smt2 (content) sat sat 0.300s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409747/gensys_brn702.smt2 (content) sat sat 0.032s