Deciding Local Theory Extensions via E-matching Experiments

loading

job id = 7031

spaces

2015-04-23-514b675

job space id = 90421

solver summary

There are too many job pairs in this space hierarchy to efficiently compile them into stats and graphs. Please navigate to a subspace with fewer pairs

subspace summaries
solver summary
solver config solved wrong resource out failed unknown incomplete time conflics
graphs

options
space overview options use log scale
solver comparison options
pair vs time options
job pairs

There are too many job pairs in this space to display. Please navigate to a subspace with fewer pairs.

job pairs
benchmark solver config status time result
job overview
property value
name (click to edit) Deciding Local Theory Extensions via E-matching Experiments
status complete
description (click to edit) no description
owner Kshitij Bansal
benchmarking framework runsolver
created Apr 24 2015 12:29:19 AM
completed Apr 24 2015 07:57:06 PM
preprocessor none
postprocessor SMT2 results conserv new
queue all.q
wallclock timeout 3600
cpu timeout 3600
max memory 100.0
random seed 0
disk usage 38.22 MB
actions
advanced actions

include ids
completed pairs only