root
file
detailed [625..649]
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/410097/gensys_icl053.smt2
(content)
unsat
unsat
0.334s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410096/gensys_icl052.smt2
(content)
unsat
unsat
0.424s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410095/gensys_icl051.smt2
(content)
unsat
unsat
0.172s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410094/gensys_icl050.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410093/gensys_icl049.smt2
(content)
unsat
unsat
0.144s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410092/gensys_icl048.smt2
(content)
unsat
unsat
0.266s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410091/gensys_icl047.smt2
(content)
unsat
unsat
1.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410090/gensys_icl046.smt2
(content)
unsat
unsat
1.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410089/gensys_icl045.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410088/gensys_icl044.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410087/gensys_icl043.smt2
(content)
unsat
unsat
0.230s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410086/gensys_icl042.smt2
(content)
unsat
unsat
0.177s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410085/gensys_icl041.smt2
(content)
unsat
unsat
0.876s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410084/gensys_icl040.smt2
(content)
unsat
unsat
0.543s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410083/gensys_icl039.smt2
(content)
unsat
unsat
0.331s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410082/gensys_icl038.smt2
(content)
unsat
unsat
2.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410081/gensys_icl037.smt2
(content)
unsat
unsat
0.958s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410080/gensys_icl036.smt2
(content)
unsat
unsat
0.109s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410079/gensys_icl035.smt2
(content)
unsat
unsat
0.168s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410078/gensys_icl034.smt2
(content)
unsat
unsat
0.189s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410077/gensys_icl033.smt2
(content)
unsat
unsat
0.509s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410076/gensys_icl032.smt2
(content)
unsat
unsat
0.200s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410075/gensys_icl031.smt2
(content)
unsat
unsat
0.157s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410074/gensys_icl030.smt2
(content)
unsat
unsat
0.495s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410073/gensys_icl029.smt2
(content)
unsat
unsat
0.733s