detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1150.smt2 (content) sat unknown 0.051s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn115.smt2 (content) sat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn115.smt2 (content) sat unknown 0.080s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1149.smt2 (content) sat unknown 0.098s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1149.smt2 (content) sat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1148.smt2 (content) sat unknown 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1148.smt2 (content) sat unknown 0.058s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1146.smt2 (content) sat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1146.smt2 (content) sat unknown 0.074s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1145.smt2 (content) sat unknown 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1145.smt2 (content) sat unknown 0.056s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1142.smt2 (content) sat unknown 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1142.smt2 (content) sat unknown 0.036s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat unknown 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat unknown 0.063s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1136.smt2 (content) sat unknown 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1136.smt2 (content) sat unknown 0.057s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1133.smt2 (content) sat unknown 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1133.smt2 (content) sat unknown 0.070s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1132.smt2 (content) sat unknown 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1132.smt2 (content) sat unknown 0.064s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1131.smt2 (content) sat unknown 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1131.smt2 (content) sat unknown 0.063s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1130.smt2 (content) sat unknown 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1130.smt2 (content) sat unknown 0.060s