detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409946/gensys_brn901.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409946/gensys_brn901.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409945/gensys_brn900.smt2 (content) unsat unsat 0.405s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409944/gensys_brn899.smt2 (content) sat sat 0.230s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409944/gensys_brn899.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.176s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409943/gensys_brn898.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) unsat unsat 0.854s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.276s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409941/gensys_brn896.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) unsat unsat 0.751s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.315s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409939/gensys_brn894.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.489s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409938/gensys_brn893.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.402s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409937/gensys_brn892.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) unsat unsat 0.953s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409935/gensys_brn890.smt2 (content) sat sat 0.305s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409935/gensys_brn890.smt2 (content) sat sat 0.146s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409934/gensys_brn889.smt2 (content) sat sat 0.230s