detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413947/gensys_brn006.smt2 (content) sat sat 0.609s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413947/gensys_brn006.smt2 (content) sat sat 0.226s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413946/gensys_brn005.smt2 (content) sat sat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413946/gensys_brn005.smt2 (content) sat sat 0.121s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413945/gensys_brn004.smt2 (content) sat sat 5.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413945/gensys_brn004.smt2 (content) sat sat 0.339s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413944/gensys_brn003.smt2 (content) sat sat 0.407s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413944/gensys_brn003.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413943/gensys_brn002.smt2 (content) sat sat 0.357s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413943/gensys_brn002.smt2 (content) sat sat 0.183s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413942/gensys_brn001.smt2 (content) sat sat 0.742s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413942/gensys_brn001.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413941/dead_dnd_sk002.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413941/dead_dnd_sk002.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413940/dead_dnd_sk001.smt2 (content) unsat unsat 4.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413940/dead_dnd_sk001.smt2 (content) unsat unsat 0.288s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413939/dead_dnd002.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413939/dead_dnd002.smt2 (content) unsat unsat 4.0s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413938/dead_dnd001.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413938/dead_dnd001.smt2 (content) unsat unsat 6.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413937/iso_icl999.smt2 (content) unsat unsat 0.116s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413937/iso_icl999.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413936/iso_icl998.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413936/iso_icl998.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413935/iso_icl997.smt2 (content) unsat unsat 0.136s