detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410151/gensys_icl1006.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410151/gensys_icl1006.smt2 (content) unsat unsat 7.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410151/gensys_icl1006.smt2 (content) unsat unsat 0.604s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410150/gensys_icl1005.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410150/gensys_icl1005.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410150/gensys_icl1005.smt2 (content) unsat unsat 0.225s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410149/gensys_icl1004.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410149/gensys_icl1004.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410149/gensys_icl1004.smt2 (content) unsat unsat 0.358s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410148/gensys_icl1003.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410148/gensys_icl1003.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410148/gensys_icl1003.smt2 (content) unsat unsat 1.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410147/gensys_icl1002.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410147/gensys_icl1002.smt2 (content) unsat unsat 0.505s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410147/gensys_icl1002.smt2 (content) unsat unsat 0.077s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 5.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 3.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 0.193s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) unsat unsat 1.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 4.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 0.134s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 5.4s