detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn049.smt2 (content) sat unknown 0.181s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn049.smt2 (content) sat unknown 0.180s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn048.smt2 (content) sat unknown 0.339s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn048.smt2 (content) sat unknown 0.333s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn046.smt2 (content) sat unknown 0.283s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn046.smt2 (content) sat unknown 0.280s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn045.smt2 (content) sat unknown 0.324s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn045.smt2 (content) sat unknown 0.317s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn042.smt2 (content) sat unknown 0.246s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn042.smt2 (content) sat unknown 0.249s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn041.smt2 (content) sat unknown 0.169s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn041.smt2 (content) sat unknown 0.170s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn030.smt2 (content) sat unknown 0.160s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn030.smt2 (content) sat unknown 0.155s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn029.smt2 (content) sat unknown 0.356s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn029.smt2 (content) sat unknown 0.348s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn024.smt2 (content) sat unknown 0.197s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn024.smt2 (content) sat unknown 0.195s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn019.smt2 (content) sat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn019.smt2 (content) sat unknown 0.184s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn017.smt2 (content) sat unknown 0.245s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn017.smt2 (content) sat unknown 0.255s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn016.smt2 (content) sat unknown 0.217s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn016.smt2 (content) sat unknown 0.229s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn014.smt2 (content) sat unknown 0.198s