root
file
detailed [2625..2649]
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/413137/iso_icl199.smt2
(content)
unsat
unsat
0.162s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413136/iso_icl198.smt2
(content)
unsat
unsat
0.171s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413135/iso_icl197.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413134/iso_icl196.smt2
(content)
unsat
unsat
0.135s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413133/iso_icl195.smt2
(content)
unsat
unsat
0.080s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413132/iso_icl194.smt2
(content)
unsat
unsat
0.097s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413131/iso_icl193.smt2
(content)
unsat
unsat
0.147s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413130/iso_icl192.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413129/iso_icl191.smt2
(content)
unsat
unsat
0.082s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413128/iso_icl190.smt2
(content)
unsat
unsat
0.126s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413127/iso_icl189.smt2
(content)
unsat
unsat
0.088s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413126/iso_icl188.smt2
(content)
unsat
unsat
0.078s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413125/iso_icl187.smt2
(content)
unsat
unsat
0.103s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413124/iso_icl186.smt2
(content)
unsat
unsat
0.073s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413123/iso_icl185.smt2
(content)
unsat
unsat
0.136s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413122/iso_icl184.smt2
(content)
unsat
unsat
0.100s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413121/iso_icl183.smt2
(content)
unsat
unsat
0.089s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413120/iso_icl182.smt2
(content)
unsat
unsat
0.120s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413119/iso_icl181.smt2
(content)
unsat
unsat
0.108s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413118/iso_icl180.smt2
(content)
unsat
unsat
0.079s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413117/iso_icl179.smt2
(content)
unsat
unsat
0.166s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413116/iso_icl178.smt2
(content)
unsat
unsat
0.098s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413115/iso_icl177.smt2
(content)
unsat
unsat
0.091s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413114/iso_icl176.smt2
(content)
unsat
unsat
0.129s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413113/iso_icl175.smt2
(content)
unsat
unsat
0.119s