detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409959/gensys_brn914.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2 (content) unsat unsat 0.664s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409958/gensys_brn913.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409957/gensys_brn912.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409957/gensys_brn912.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409956/gensys_brn911.smt2 (content) sat sat 0.279s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409956/gensys_brn911.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409955/gensys_brn910.smt2 (content) sat sat 0.388s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409955/gensys_brn910.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409954/gensys_brn909.smt2 (content) sat sat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409954/gensys_brn909.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409953/gensys_brn908.smt2 (content) sat sat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409953/gensys_brn908.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409952/gensys_brn907.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409952/gensys_brn907.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409951/gensys_brn906.smt2 (content) sat sat 0.235s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409951/gensys_brn906.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) unsat unsat 6.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) unsat unsat 0.745s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409949/gensys_brn904.smt2 (content) sat sat 0.392s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409949/gensys_brn904.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) unsat unsat 0.592s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) unsat unsat 0.549s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409947/gensys_brn902.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409947/gensys_brn902.smt2 (content) sat sat 0.031s