detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408909/gensys_brn1083.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2 (content) unsat unsat 8.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2 (content) unsat unsat 7.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408885/gensys_brn1061.smt2 (content) unsat unsat 0.305s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2 (content) unsat unsat 5.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408859/gensys_brn1038.smt2 (content) unsat unsat 0.619s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408855/gensys_brn1034.smt2 (content) unsat unsat 0.473s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408851/gensys_brn1030.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408844/gensys_brn1024.smt2 (content) unsat unsat 0.573s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408805/gensys_brn088.smt2 (content) unsat unsat 7.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408770/gensys_brn053.smt2 (content) unsat unsat 0.739s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408766/gensys_brn049.smt2 (content) unsat unsat 0.587s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408764/gensys_brn047.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408752/gensys_brn035.smt2 (content) unsat unsat 0.235s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408751/gensys_brn034.smt2 (content) unsat unsat 0.525s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408750/gensys_brn033.smt2 (content) unsat unsat 0.283s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408741/gensys_brn024.smt2 (content) unsat unsat 0.363s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408740/gensys_brn023.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408737/gensys_brn020.smt2 (content) unsat unsat 0.718s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408726/gensys_brn009.smt2 (content) unsat unsat 0.304s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408724/gensys_brn007.smt2 (content) unsat unsat 0.098s