detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk019.smt2 (content) sat unknown 9.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk019.smt2 (content) sat unknown 9.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk010.smt2 (content) sat unknown 10.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk010.smt2 (content) sat unknown 10.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk007.smt2 (content) sat unknown 10.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk007.smt2 (content) sat unknown 10.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk005.smt2 (content) sat unknown 8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen_sk005.smt2 (content) sat unknown 7.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen009.smt2 (content) sat unknown 10s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen009.smt2 (content) sat unknown 10.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen005.smt2 (content) sat unknown 9.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen005.smt2 (content) sat unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen004.smt2 (content) sat unknown 9.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen004.smt2 (content) sat unknown 10s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_nogen001.smt2 (content) sat unknown 10.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn055.smt2 (content) sat unknown 0.244s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn055.smt2 (content) sat unknown 0.277s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn053.smt2 (content) sat unknown 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn053.smt2 (content) sat unknown 0.177s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn052.smt2 (content) sat unknown 0.323s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn052.smt2 (content) sat unknown 0.321s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn051.smt2 (content) sat unknown 0.208s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn051.smt2 (content) sat unknown 0.232s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn050.smt2 (content) sat unknown 0.192s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn050.smt2 (content) sat unknown 0.197s