root
file
detailed [15150..15174]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5913675913092339062.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5912815688738204337.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5907527023290641156.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5907409374037622784.smt2
(content)
ok
ok
0.135s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5899800614173231858.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5894235466291698095.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt589320026414563005.smt2
(content)
ok
ok
0.084s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5891351094341441351.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5891024652570785146.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5880381981272313234.smt2
(content)
ok
ok
0.073s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5878776947912909176.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5877263488161390720.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5876941898306620654.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5876528851151687614.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5876382027543045453.smt2
(content)
ok
ok
0.078s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5874015585716416301.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5870138120643334357.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5869749820075222636.smt2
(content)
ok
ok
0.077s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5865428155589180062.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5860583300578097420.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5860051998900493729.smt2
(content)
ok
ok
0.076s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5857273004658596637.smt2
(content)
ok
ok
0.090s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5857100902402249502.smt2
(content)
ok
ok
0.081s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5851452708137205459.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt5849392136111953746.smt2
(content)
ok
ok
0.074s