detailed results (3004 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk016.smt2 (content) sat sat 0.692s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk014.smt2 (content) sat sat 0.402s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk011.smt2 (content) sat sat 0.301s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk010.smt2 (content) sat sat 0.768s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk009.smt2 (content) sat sat 0.269s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk008.smt2 (content) sat sat 0.325s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk007.smt2 (content) sat sat 0.341s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk006.smt2 (content) sat sat 0.191s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk002.smt2 (content) sat sat 0.363s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_sk001.smt2 (content) sat sat 0.288s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk055.smt2 (content) sat sat 6.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk054.smt2 (content) sat sat 7.7s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk053.smt2 (content) sat sat 4.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk052.smt2 (content) sat sat 6.1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk051.smt2 (content) sat sat 8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk050.smt2 (content) sat sat 6.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk049.smt2 (content) sat sat 4.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk048.smt2 (content) sat sat 4.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk046.smt2 (content) sat sat 3.0s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk042.smt2 (content) sat sat 9.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk041.smt2 (content) sat sat 4.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk038.smt2 (content) sat sat 8.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk037.smt2 (content) sat sat 7.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk036.smt2 (content) sat sat 8.6s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn_repgen_sk035.smt2 (content) sat sat 5.4s