detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409534/gensys_brn489.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 0.244s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 0.819s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.096s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409531/gensys_brn486.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.146s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409530/gensys_brn485.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.155s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409529/gensys_brn484.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.132s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409528/gensys_brn483.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409527/gensys_brn482.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409526/gensys_brn481.smt2 (content) sat sat 0.129s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409526/gensys_brn481.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409525/gensys_brn480.smt2 (content) sat sat 0.085s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409525/gensys_brn480.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409524/gensys_brn479.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409524/gensys_brn479.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 0.967s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 0.211s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409522/gensys_brn477.smt2 (content) sat sat 0.160s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409522/gensys_brn477.smt2 (content) sat sat 0.031s