detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn413.smt2 (content) sat unknown 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn413.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unknown 6.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unknown 6.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) unsat unknown 0.492s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2 (content) sat unknown 0.109s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2 (content) sat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2 (content) sat unknown 0.090s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn411.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.527s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.200s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.197s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2 (content) sat unknown 0.271s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2 (content) sat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2 (content) sat unknown 0.122s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn409.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2 (content) sat unknown 0.149s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2 (content) sat unknown 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2 (content) sat unknown 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn408.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unknown 0.797s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unknown 0.834s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unknown 0.809s