detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408821/gensys_brn1003.smt2 (content) sat sat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408821/gensys_brn1003.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408820/gensys_brn1002.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408820/gensys_brn1002.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408819/gensys_brn1001.smt2 (content) sat sat 0.182s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408819/gensys_brn1001.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408817/gensys_brn100.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408817/gensys_brn100.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408816/gensys_brn099.smt2 (content) sat sat 0.148s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408816/gensys_brn099.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408815/gensys_brn098.smt2 (content) sat sat 0.113s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408815/gensys_brn098.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408814/gensys_brn097.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408814/gensys_brn097.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408813/gensys_brn096.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408813/gensys_brn096.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 0.659s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408811/gensys_brn094.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408811/gensys_brn094.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) unsat unsat 0.794s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408809/gensys_brn092.smt2 (content) sat sat 0.245s