detailed results (2502 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409236/gensys_brn191.smt2 (content) sat sat 0.236s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409235/gensys_brn190.smt2 (content) sat sat 0.256s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.158s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.427s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.486s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.237s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.169s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.144s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.426s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.195s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.147s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.208s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.156s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.180s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409215/gensys_brn170.smt2 (content) sat sat 0.238s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409214/gensys_brn169.smt2 (content) sat sat 0.819s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409213/gensys_brn168.smt2 (content) sat sat 0.146s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409212/gensys_brn167.smt2 (content) sat sat 0.201s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409210/gensys_brn165.smt2 (content) sat sat 0.244s