root
file
detailed [2575..2599]
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/413087/iso_icl149.smt2
(content)
unsat
unsat
0.071s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413086/iso_icl148.smt2
(content)
unsat
unsat
0.114s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413085/iso_icl147.smt2
(content)
unsat
unsat
0.139s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413084/iso_icl146.smt2
(content)
unsat
unsat
0.120s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413083/iso_icl145.smt2
(content)
unsat
unsat
0.080s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413082/iso_icl144.smt2
(content)
unsat
unsat
0.097s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413081/iso_icl143.smt2
(content)
unsat
unsat
0.239s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413080/iso_icl142.smt2
(content)
unsat
unsat
0.067s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413079/iso_icl141.smt2
(content)
unsat
unsat
0.097s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413078/iso_icl140.smt2
(content)
unsat
unsat
0.075s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413077/iso_icl139.smt2
(content)
unsat
unsat
0.112s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413076/iso_icl138.smt2
(content)
unsat
unsat
0.120s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413075/iso_icl137.smt2
(content)
unsat
unsat
0.117s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413074/iso_icl136.smt2
(content)
unsat
unsat
0.135s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413073/iso_icl135.smt2
(content)
unsat
unsat
0.115s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413072/iso_icl134.smt2
(content)
unsat
unsat
0.121s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413071/iso_icl133.smt2
(content)
unsat
unsat
0.105s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413070/iso_icl132.smt2
(content)
unsat
unsat
0.106s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413069/iso_icl131.smt2
(content)
unsat
unsat
0.190s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413068/iso_icl130.smt2
(content)
unsat
unsat
0.141s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413067/iso_icl129.smt2
(content)
unsat
unsat
0.150s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413066/iso_icl1283.smt2
(content)
unsat
unsat
0.059s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413065/iso_icl1282.smt2
(content)
unsat
unsat
0.103s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413064/iso_icl1281.smt2
(content)
unsat
unsat
0.062s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413063/iso_icl1280.smt2
(content)
unsat
unsat
0.062s