detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn707.smt2 (content) sat unknown 0.160s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn706.smt2 (content) sat unknown 0.220s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn705.smt2 (content) unsat unknown 5.9s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn704.smt2 (content) sat unknown 0.730s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn703.smt2 (content) sat unknown 0.372s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn702.smt2 (content) sat unknown 0.527s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn701.smt2 (content) sat unknown 0.317s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn700.smt2 (content) unsat unknown 2.8s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn699.smt2 (content) sat unknown 0.276s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn698.smt2 (content) sat unknown 0.237s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn697.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn695.smt2 (content) sat unknown 0.384s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn694.smt2 (content) sat unknown 0.327s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn693.smt2 (content) sat unknown 0.671s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn692.smt2 (content) sat unknown 0.272s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn691.smt2 (content) sat unknown 0.220s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn690.smt2 (content) sat unknown 0.198s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn689.smt2 (content) sat unknown 0.181s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn688.smt2 (content) sat unknown 0.160s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn687.smt2 (content) sat unknown 0.656s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn686.smt2 (content) sat unknown 0.398s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn685.smt2 (content) sat unknown 0.209s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn684.smt2 (content) sat unknown 0.140s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn683.smt2 (content) sat unknown 0.336s