detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn707.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.220s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.075s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 5.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 6.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 6.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 0.394s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.730s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.212s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.235s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.372s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.175s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.527s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.200s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.203s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.317s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.175s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.175s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.027s