root
file
detailed [700..724]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410189/gensys_icl1040.smt2
(content)
unsat
unsat
0.434s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410188/gensys_icl104.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410187/gensys_icl1039.smt2
(content)
unsat
unsat
0.251s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410186/gensys_icl1038.smt2
(content)
unsat
unsat
0.219s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410185/gensys_icl1037.smt2
(content)
unsat
unsat
1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410184/gensys_icl1036.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410183/gensys_icl1035.smt2
(content)
unsat
unsat
10.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410182/gensys_icl1034.smt2
(content)
unsat
unsat
7.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410180/gensys_icl1032.smt2
(content)
unsat
unsat
10.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410178/gensys_icl1030.smt2
(content)
unsat
unsat
7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410177/gensys_icl103.smt2
(content)
unsat
unsat
0.702s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410175/gensys_icl1028.smt2
(content)
unsat
unsat
6.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410174/gensys_icl1027.smt2
(content)
unsat
unsat
6.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410173/gensys_icl1026.smt2
(content)
unsat
unsat
8.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410170/gensys_icl1023.smt2
(content)
unsat
unsat
2.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410166/gensys_icl102.smt2
(content)
unsat
unsat
4.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410165/gensys_icl1019.smt2
(content)
unsat
unsat
9.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410164/gensys_icl1018.smt2
(content)
unsat
unsat
0.346s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410163/gensys_icl1017.smt2
(content)
unsat
unsat
0.198s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410162/gensys_icl1016.smt2
(content)
unsat
unsat
0.278s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410161/gensys_icl1015.smt2
(content)
unsat
unsat
0.338s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410160/gensys_icl1014.smt2
(content)
unsat
unsat
4.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410159/gensys_icl1013.smt2
(content)
unsat
unsat
5.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410158/gensys_icl1012.smt2
(content)
unsat
unsat
3.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410157/gensys_icl1011.smt2
(content)
unsat
unsat
5.5s