detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410185/gensys_icl1037.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410184/gensys_icl1036.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410184/gensys_icl1036.smt2 (content) unsat unsat 0.110s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410183/gensys_icl1035.smt2 (content) unsat unsat 9.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410183/gensys_icl1035.smt2 (content) unsat unsat 0.366s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410182/gensys_icl1034.smt2 (content) unsat unsat 7.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410182/gensys_icl1034.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410181/gensys_icl1033.smt2 (content) unsat unsat 10.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410181/gensys_icl1033.smt2 (content) unsat unsat 0.334s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410180/gensys_icl1032.smt2 (content) unsat unsat 9.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410180/gensys_icl1032.smt2 (content) unsat unsat 0.669s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410179/gensys_icl1031.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410179/gensys_icl1031.smt2 (content) unsat unsat 0.902s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410178/gensys_icl1030.smt2 (content) unsat unsat 6.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410178/gensys_icl1030.smt2 (content) unsat unsat 0.418s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410177/gensys_icl103.smt2 (content) unsat unsat 0.603s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410177/gensys_icl103.smt2 (content) unsat unsat 0.398s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410176/gensys_icl1029.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410176/gensys_icl1029.smt2 (content) unsat unsat 0.998s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410175/gensys_icl1028.smt2 (content) unsat unsat 6.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410175/gensys_icl1028.smt2 (content) unsat unsat 0.545s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410174/gensys_icl1027.smt2 (content) unsat unsat 6.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410174/gensys_icl1027.smt2 (content) unsat unsat 0.794s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410173/gensys_icl1026.smt2 (content) unsat unsat 8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410173/gensys_icl1026.smt2 (content) unsat unsat 0.663s