Tool,Workload,Description,Model,Run,Query,Iteration,Matches
VIATRA (Incremental),Inject,,railway-inject-4,1,ConnectedSegments,1,41
VIATRA (Incremental),Inject,,railway-inject-4,1,ConnectedSegments,2,51
VIATRA (Incremental),Inject,,railway-inject-4,1,ConnectedSegments,3,61
VIATRA (Incremental),Inject,,railway-inject-4,1,ConnectedSegments,4,71
VIATRA (Incremental),Inject,,railway-inject-4,1,ConnectedSegments,5,81
VIATRA (Incremental),Inject,,railway-inject-4,1,ConnectedSegments,6,91
VIATRA (Incremental),Inject,,railway-inject-4,1,PosLength,1,87
VIATRA (Incremental),Inject,,railway-inject-4,1,PosLength,2,97
VIATRA (Incremental),Inject,,railway-inject-4,1,PosLength,3,107
VIATRA (Incremental),Inject,,railway-inject-4,1,PosLength,4,117
VIATRA (Incremental),Inject,,railway-inject-4,1,PosLength,5,127
VIATRA (Incremental),Inject,,railway-inject-4,1,PosLength,6,137
VIATRA (Incremental),Inject,,railway-inject-4,1,RouteSensor,1,35
VIATRA (Incremental),Inject,,railway-inject-4,1,RouteSensor,2,43
VIATRA (Incremental),Inject,,railway-inject-4,1,RouteSensor,3,50
VIATRA (Incremental),Inject,,railway-inject-4,1,RouteSensor,4,57
VIATRA (Incremental),Inject,,railway-inject-4,1,RouteSensor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,1,RouteSensor,6,64
VIATRA (Incremental),Inject,,railway-inject-4,1,SemaphoreNeighbor,1,15
VIATRA (Incremental),Inject,,railway-inject-4,1,SemaphoreNeighbor,2,58
VIATRA (Incremental),Inject,,railway-inject-4,1,SemaphoreNeighbor,3,79
VIATRA (Incremental),Inject,,railway-inject-4,1,SemaphoreNeighbor,4,76
VIATRA (Incremental),Inject,,railway-inject-4,1,SemaphoreNeighbor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,1,SemaphoreNeighbor,6,49
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchSet,1,6
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchSet,2,5
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchSet,3,0
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchSet,4,0
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchSet,5,0
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchSet,6,0
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchMonitored,1,0
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchMonitored,2,10
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchMonitored,3,20
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchMonitored,4,30
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchMonitored,5,39
VIATRA (Incremental),Inject,,railway-inject-4,1,SwitchMonitored,6,48
VIATRA (Incremental),Inject,,railway-inject-4,2,ConnectedSegments,1,41
VIATRA (Incremental),Inject,,railway-inject-4,2,ConnectedSegments,2,51
VIATRA (Incremental),Inject,,railway-inject-4,2,ConnectedSegments,3,61
VIATRA (Incremental),Inject,,railway-inject-4,2,ConnectedSegments,4,71
VIATRA (Incremental),Inject,,railway-inject-4,2,ConnectedSegments,5,81
VIATRA (Incremental),Inject,,railway-inject-4,2,ConnectedSegments,6,91
VIATRA (Incremental),Inject,,railway-inject-4,2,PosLength,1,87
VIATRA (Incremental),Inject,,railway-inject-4,2,PosLength,2,97
VIATRA (Incremental),Inject,,railway-inject-4,2,PosLength,3,107
VIATRA (Incremental),Inject,,railway-inject-4,2,PosLength,4,117
VIATRA (Incremental),Inject,,railway-inject-4,2,PosLength,5,127
VIATRA (Incremental),Inject,,railway-inject-4,2,PosLength,6,137
VIATRA (Incremental),Inject,,railway-inject-4,2,RouteSensor,1,35
VIATRA (Incremental),Inject,,railway-inject-4,2,RouteSensor,2,43
VIATRA (Incremental),Inject,,railway-inject-4,2,RouteSensor,3,50
VIATRA (Incremental),Inject,,railway-inject-4,2,RouteSensor,4,57
VIATRA (Incremental),Inject,,railway-inject-4,2,RouteSensor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,2,RouteSensor,6,64
VIATRA (Incremental),Inject,,railway-inject-4,2,SemaphoreNeighbor,1,15
VIATRA (Incremental),Inject,,railway-inject-4,2,SemaphoreNeighbor,2,58
VIATRA (Incremental),Inject,,railway-inject-4,2,SemaphoreNeighbor,3,79
VIATRA (Incremental),Inject,,railway-inject-4,2,SemaphoreNeighbor,4,76
VIATRA (Incremental),Inject,,railway-inject-4,2,SemaphoreNeighbor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,2,SemaphoreNeighbor,6,49
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchSet,1,6
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchSet,2,5
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchSet,3,0
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchSet,4,0
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchSet,5,0
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchSet,6,0
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchMonitored,1,0
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchMonitored,2,10
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchMonitored,3,20
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchMonitored,4,30
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchMonitored,5,39
VIATRA (Incremental),Inject,,railway-inject-4,2,SwitchMonitored,6,48
VIATRA (Incremental),Inject,,railway-inject-4,3,ConnectedSegments,1,41
VIATRA (Incremental),Inject,,railway-inject-4,3,ConnectedSegments,2,51
VIATRA (Incremental),Inject,,railway-inject-4,3,ConnectedSegments,3,61
VIATRA (Incremental),Inject,,railway-inject-4,3,ConnectedSegments,4,71
VIATRA (Incremental),Inject,,railway-inject-4,3,ConnectedSegments,5,81
VIATRA (Incremental),Inject,,railway-inject-4,3,ConnectedSegments,6,91
VIATRA (Incremental),Inject,,railway-inject-4,3,PosLength,1,87
VIATRA (Incremental),Inject,,railway-inject-4,3,PosLength,2,97
VIATRA (Incremental),Inject,,railway-inject-4,3,PosLength,3,107
VIATRA (Incremental),Inject,,railway-inject-4,3,PosLength,4,117
VIATRA (Incremental),Inject,,railway-inject-4,3,PosLength,5,127
VIATRA (Incremental),Inject,,railway-inject-4,3,PosLength,6,137
VIATRA (Incremental),Inject,,railway-inject-4,3,RouteSensor,1,35
VIATRA (Incremental),Inject,,railway-inject-4,3,RouteSensor,2,43
VIATRA (Incremental),Inject,,railway-inject-4,3,RouteSensor,3,50
VIATRA (Incremental),Inject,,railway-inject-4,3,RouteSensor,4,57
VIATRA (Incremental),Inject,,railway-inject-4,3,RouteSensor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,3,RouteSensor,6,64
VIATRA (Incremental),Inject,,railway-inject-4,3,SemaphoreNeighbor,1,15
VIATRA (Incremental),Inject,,railway-inject-4,3,SemaphoreNeighbor,2,58
VIATRA (Incremental),Inject,,railway-inject-4,3,SemaphoreNeighbor,3,79
VIATRA (Incremental),Inject,,railway-inject-4,3,SemaphoreNeighbor,4,76
VIATRA (Incremental),Inject,,railway-inject-4,3,SemaphoreNeighbor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,3,SemaphoreNeighbor,6,49
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchSet,1,6
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchSet,2,5
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchSet,3,0
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchSet,4,0
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchSet,5,0
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchSet,6,0
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchMonitored,1,0
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchMonitored,2,10
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchMonitored,3,20
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchMonitored,4,30
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchMonitored,5,39
VIATRA (Incremental),Inject,,railway-inject-4,3,SwitchMonitored,6,48
VIATRA (Incremental),Inject,,railway-inject-4,4,ConnectedSegments,1,41
VIATRA (Incremental),Inject,,railway-inject-4,4,ConnectedSegments,2,51
VIATRA (Incremental),Inject,,railway-inject-4,4,ConnectedSegments,3,61
VIATRA (Incremental),Inject,,railway-inject-4,4,ConnectedSegments,4,71
VIATRA (Incremental),Inject,,railway-inject-4,4,ConnectedSegments,5,81
VIATRA (Incremental),Inject,,railway-inject-4,4,ConnectedSegments,6,91
VIATRA (Incremental),Inject,,railway-inject-4,4,PosLength,1,87
VIATRA (Incremental),Inject,,railway-inject-4,4,PosLength,2,97
VIATRA (Incremental),Inject,,railway-inject-4,4,PosLength,3,107
VIATRA (Incremental),Inject,,railway-inject-4,4,PosLength,4,117
VIATRA (Incremental),Inject,,railway-inject-4,4,PosLength,5,127
VIATRA (Incremental),Inject,,railway-inject-4,4,PosLength,6,137
VIATRA (Incremental),Inject,,railway-inject-4,4,RouteSensor,1,35
VIATRA (Incremental),Inject,,railway-inject-4,4,RouteSensor,2,43
VIATRA (Incremental),Inject,,railway-inject-4,4,RouteSensor,3,50
VIATRA (Incremental),Inject,,railway-inject-4,4,RouteSensor,4,57
VIATRA (Incremental),Inject,,railway-inject-4,4,RouteSensor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,4,RouteSensor,6,64
VIATRA (Incremental),Inject,,railway-inject-4,4,SemaphoreNeighbor,1,15
VIATRA (Incremental),Inject,,railway-inject-4,4,SemaphoreNeighbor,2,58
VIATRA (Incremental),Inject,,railway-inject-4,4,SemaphoreNeighbor,3,79
VIATRA (Incremental),Inject,,railway-inject-4,4,SemaphoreNeighbor,4,76
VIATRA (Incremental),Inject,,railway-inject-4,4,SemaphoreNeighbor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,4,SemaphoreNeighbor,6,49
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchSet,1,6
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchSet,2,5
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchSet,3,0
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchSet,4,0
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchSet,5,0
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchSet,6,0
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchMonitored,1,0
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchMonitored,2,10
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchMonitored,3,20
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchMonitored,4,30
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchMonitored,5,39
VIATRA (Incremental),Inject,,railway-inject-4,4,SwitchMonitored,6,48
VIATRA (Incremental),Inject,,railway-inject-4,5,ConnectedSegments,1,41
VIATRA (Incremental),Inject,,railway-inject-4,5,ConnectedSegments,2,51
VIATRA (Incremental),Inject,,railway-inject-4,5,ConnectedSegments,3,61
VIATRA (Incremental),Inject,,railway-inject-4,5,ConnectedSegments,4,71
VIATRA (Incremental),Inject,,railway-inject-4,5,ConnectedSegments,5,81
VIATRA (Incremental),Inject,,railway-inject-4,5,ConnectedSegments,6,91
VIATRA (Incremental),Inject,,railway-inject-4,5,PosLength,1,87
VIATRA (Incremental),Inject,,railway-inject-4,5,PosLength,2,97
VIATRA (Incremental),Inject,,railway-inject-4,5,PosLength,3,107
VIATRA (Incremental),Inject,,railway-inject-4,5,PosLength,4,117
VIATRA (Incremental),Inject,,railway-inject-4,5,PosLength,5,127
VIATRA (Incremental),Inject,,railway-inject-4,5,PosLength,6,137
VIATRA (Incremental),Inject,,railway-inject-4,5,RouteSensor,1,35
VIATRA (Incremental),Inject,,railway-inject-4,5,RouteSensor,2,43
VIATRA (Incremental),Inject,,railway-inject-4,5,RouteSensor,3,50
VIATRA (Incremental),Inject,,railway-inject-4,5,RouteSensor,4,57
VIATRA (Incremental),Inject,,railway-inject-4,5,RouteSensor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,5,RouteSensor,6,64
VIATRA (Incremental),Inject,,railway-inject-4,5,SemaphoreNeighbor,1,15
VIATRA (Incremental),Inject,,railway-inject-4,5,SemaphoreNeighbor,2,58
VIATRA (Incremental),Inject,,railway-inject-4,5,SemaphoreNeighbor,3,79
VIATRA (Incremental),Inject,,railway-inject-4,5,SemaphoreNeighbor,4,76
VIATRA (Incremental),Inject,,railway-inject-4,5,SemaphoreNeighbor,5,61
VIATRA (Incremental),Inject,,railway-inject-4,5,SemaphoreNeighbor,6,49
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchSet,1,6
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchSet,2,5
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchSet,3,0
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchSet,4,0
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchSet,5,0
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchSet,6,0
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchMonitored,1,0
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchMonitored,2,10
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchMonitored,3,20
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchMonitored,4,30
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchMonitored,5,39
VIATRA (Incremental),Inject,,railway-inject-4,5,SwitchMonitored,6,48
