detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn905.smt2 (content) sat unknown 0.096s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn904.smt2 (content) sat unknown 0.135s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn904.smt2 (content) sat unknown 0.148s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn903.smt2 (content) sat unknown 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn903.smt2 (content) sat unknown 0.077s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn902.smt2 (content) sat unknown 0.114s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn902.smt2 (content) sat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn901.smt2 (content) sat unknown 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn901.smt2 (content) sat unknown 0.073s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn900.smt2 (content) sat unknown 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn900.smt2 (content) sat unknown 0.062s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn899.smt2 (content) sat unknown 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn899.smt2 (content) sat unknown 0.075s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn898.smt2 (content) sat unknown 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn898.smt2 (content) sat unknown 0.058s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn897.smt2 (content) sat unknown 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn897.smt2 (content) sat unknown 0.145s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn896.smt2 (content) sat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn896.smt2 (content) sat unknown 0.079s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn895.smt2 (content) sat unknown 0.172s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn895.smt2 (content) sat unknown 0.170s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn893.smt2 (content) sat unknown 0.123s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn893.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn892.smt2 (content) sat unknown 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn892.smt2 (content) sat unknown 0.119s